anchor.diff:  				   ("lr" . "[thm] Applies theorem as a rewrite in left-to-right direction")
   				   ("rl" . "[thm] Applies theorem as a rewrite in right-to-left direction")
   				   ("simp-standard" . "Applies standard simplifier")
  +				   ("ss" . "Applies standard simplifier")
  +				   ("partial-eval" . "Evaluate closed sub-expressions")
  +				   ("pe" . "Evaluate closed sub-expressions")
  +				   ("abstract-cse" . "Abstract Common Sub-Expressions")
  +				   ("cse" . "Abstract Common Sub-Expressions")
   				   ("pc"   . "Print current expression")
   				   ("undo" . "[n] Undo n levels (1 with no argument)")
   				   ("done" . "Print script and return to normal shell")
  
positive.code:   (setq *transform-spec* spc)
    (setq *transform-term* nil)
    (setq *transform-commands* nil)
    (setq *undo-stack* nil))
  
  (defun push-state ()
    (push (list *transform-term* *transform-commands*) *undo-stack*))
  
negative.code:       (format t "No transformations")
        (Script::printScript (Script::mkSteps *transform-commands*)))
    (setq *current-command-processor* 'process-sw-shell-command)
    (setq *prompt* "* ")
    (values))
  
  (defun process-transform-shell-command (command argstr)
  