anchor.diff:  (test-directories ".")
   
   (test 
  +
    ("twk message 1/8/03" 
     :sw "t0103_1"
     :output '(";;; Elaborating spec at $TESTDIR/t0103_1#player"
  
positive.code: ;;;(test-files "proveOblig.sw" "simple.sw" "fib.sw"
  ;;;	    "colimit.sw"
  ;;;	    "t0103_1.sw" "t0103_2.sw" "t0103_3.sw"
  
negative.code: 	    (:optional "    Expanded spec file: $TESTDIR/Snark/ThreeValue/ThreeP.sw")
  	    "    Snark Log file: $TESTDIR/Snark/ThreeValue/ThreeP.log"
  	    "ThreeP: Theorem threedifferent in ThreeValuesDef is Proved! using Snark."
  	    ""))
  
   ("twk_message 8/2/04"
    :sw "MathFact"
  