anchor.diff:  (defpackage :SWShell)
   (in-package :SWShell)
   
  -(defvar *transform-help-strings* '(("at" . "[op] Focuses on definition of op.")
  +(defvar *transform-help-strings* '(("at" . "[op] Focuses on definition of op")
   				   ("simplify" . "[rules] Applies rewriting simplifier with supplied rules.")
  -				   ("fold" . "[op] folds first occurrence of definition of op.")
  -				   ("unfold" . "[op] unfolds first occurrence of op.")
  +				   ("fold" . "[op] folds first occurrence of definition of op")
  +				   ("unfold" . "[op] unfolds first occurrence of op")
   				   ("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")
  
positive.code: 
  (defun push-state ()
    (push (list *transform-term* *transform-commands*) *undo-stack*))
  
  (defun pop-state ()
    (let ((last-state (pop *undo-stack*)))
  
negative.code: 				   ("abstract-cse" . "Abstract Common Sub-Expressions")
  				   ("cse" . "Abstract Common Sub-Expressions")
  				   ("pc"   . "Print current expression")
  				   ("proc" . "[unit-term} Restart transformation on processed spec")
  				   ("p" . "[unit-term} Restart transformation on processed spec")
  				   ("trace-rewrites" . "Print trace for individual rewrites")
  				   ("trr" . "Print trace for individual rewrites")
  				   ("untrace-rewrites" . "Turn off printing trace for individual rewrites")
  				   ("untrr" . "Turn off printing trace for individual rewrites")
  				   ("undo" . "[n] Undo n levels (1 with no argument)")
  				   ("done" . "Print script and return to normal shell")
  				   ))
  