anchor.diff:                                                 nil)))
   	(push prev-result *transform-commands*)))))
   
  -(defun parse-qid (qid-str)
  +(defun parse-qid (qid-str op?)
     (let* ((syms (String-Spec::splitStringAt-2 (String-Spec::removeWhiteSpace qid-str) "."))
   	 (len (length syms)))
       (if (= len 1)
  -	(MetaSlang::mkUnQualifiedId (first syms))
  +	(let ((uq_qid (MetaSlang::mkUnQualifiedId (first syms))))
  +          (if (if op? (Script::findMatchingOps-2 *transform-spec* uq_qid)
  +                  (Script::matchingTheorems?-2 *transform-spec* uq_qid))
  +              uq_qid
  +              (MetaSlang::mkQualifiedId-2 Script::wildQualifier (first syms))))
   	(if (= len 2)
   	    (MetaSlang::mkQualifiedId-2 (first syms) (second syms))
   	    nil))))
  
positive.code:       (interpret-command (Script::mkMove move-comms)))
      (values)))
  
  (defun apply-command (qid constr-fn)
    (interpret-command (Script::mkApply (list (funcall constr-fn (parse-qid qid))))))
  
  (defun simplify-command (argstr)
    (let* ((words (and argstr
  
negative.code: 		      collect (funcall (Script::ruleConstructor (first tl))
  				       (if (null (cdr tl))
  					   nil
  					   (parse-qid (second tl) (op-command? (first tl))))))))
      (interpret-command (Script::mkSimplify rules))))
  
  (defun finish-transform-session ()
  