anchor.diff:  (cl-user::sw-init)
  -(cl-user::swprb nil)
   
   ;;; Tutorial example
   (test 
  
positive.code: 	    ";;; Elaborating spec at $SPECWARE/UserDoc/tutorial/example/MatchingSpecs#Symbols"
  	    ";;; Elaborating spec at $SPECWARE/UserDoc/tutorial/example/MatchingSpecs#Messages"
  	    ";;; Elaborating spec at $SPECWARE/UserDoc/tutorial/example/MatchingSpecs#SymbolMatching"
  	    ";;; Elaborating spec at $SPECWARE/UserDoc/tutorial/example/MatchingRichardAxioms#MatchingRichardIntegerAxiomsSpec"
  	    ";;; Elaborating spec at $SPECWARE/UserDoc/tutorial/example/MatchingSpecs#Matches"
  	    ""))
  
  
negative.code: 	    "    Snark Log file: $SPECWARE/UserDoc/tutorial/example/Snark/MatchingProofs/p6A.log"
  	    "p6A: Conjecture match_finding_lr1 in MatchingObligations#FindMatches_Ref0_Oblig is Proved! *"
  	    ""))
   
   ("Tutorial: swl find-matches" 
    :swl "/UserDoc/tutorial/example/MatchingRefinements#FindMatches $TESTDIR/find-matches"
    :output '(";;; Generating lisp file $TESTDIR/find-matches.lisp"
  