anchor.diff:  	    "              legal? of type move -> Boolean"
   	    "          with expected type Boolean"
   	    ""))
  +
    ("twk message 1/8/03 fix 1"
     :sw "t0103_2"
     :output '(";;; Elaborating spec at $TESTDIR/t0103_2#player"
   	    ";;; Elaborating spec at $TESTDIR/t0103_2#position"
   	    ";;; Elaborating spec at $TESTDIR/t0103_2#move"
   	    ""))
  +
    ("twk message 1/8/03 fix 2"
     :sw "t0103_3"
     :output '(";;; Elaborating spec at $TESTDIR/t0103_3#player"
   	    ";;; Elaborating spec at $TESTDIR/t0103_3#position"
   	    ";;; Elaborating spec at $TESTDIR/t0103_3#move"
   	    ""))
  +
    ("twk_message 6/2/04"
     :sw "Switch"
     :output '(
  
positive.code: (test-directories ".")
  
  (test 
   ("twk message 1/8/03" 
    :sw "t0103_1"
    :output '(";;; Elaborating spec at $TESTDIR/t0103_1#player"
  
negative.code: 	    (:optional ";; Directory $TESTDIR/Snark/MathFact/ does not exist, will create.")
  	    "    Expanded spec file: $TESTDIR/Snark/MathFact/sum_spec_p1.sw"
  	    "    Snark Log file: $TESTDIR/Snark/MathFact/sum_spec_p1.log"
  	    "sum_spec_p1: Conjecture sum_zero in sum_spec_obs is Proved! using Snark."
  	    ""))
        
   ("twk_message 8/13/04"
    :sw "Tuples"
  