anchor.diff:  	      "    Expanded spec file: $SPECWARE/UserDoc/tutorial/example/Snark/MatchingProofs/p3C.sw"
   	      "    Snark Log file: $SPECWARE/UserDoc/tutorial/example/Snark/MatchingProofs/p3C.log"
   	      ;; Sigh.  "C:" becomes "" in test output processing   
  -	      "p3 Conjecture word_matches_aux?_Obligation_subtype in MatchingObligations#WordMatching0_Oblig is Proved! *"
  +	      "p3C: Conjecture word_matches_aux?_Obligation_subtype in MatchingObligations#WordMatching0_Oblig is Proved! *"
   	      (:optional "")
   	      (:optional "")
   	      ))
  
positive.code: 	      (:optional "")
  	      ))
  
     ("Tutorial: MatchingProofs p5A (exhaustive)"
      :sw "/UserDoc/tutorial/example/MatchingProofs#p5A"
      :output '(";;; Elaborating obligator at $SPECWARE/UserDoc/tutorial/example/MatchingObligations#FindMatches0_Oblig"
  	      ";;; Elaborating proof-term at $SPECWARE/UserDoc/tutorial/example/MatchingProofs#p5A"
  	      "    Expanded spec file: $SPECWARE/UserDoc/tutorial/example/Snark/MatchingProofs/p5A.sw"
  	      "    Snark Log file: $SPECWARE/UserDoc/tutorial/example/Snark/MatchingProofs/p5A.log"
  	      "p5A: Conjecture find_matches_Obligation_exhaustive in MatchingObligations#FindMatches0_Oblig is Proved! *"
  	      (:optional "")
  	      (:optional "")
  	      ))
  
     ("Tutorial: MatchingProofs p5B (subtype)"
      :sw "/UserDoc/tutorial/example/MatchingProofs#p5B"
      :output '(";;; Elaborating proof-term at $SPECWARE/UserDoc/tutorial/example/MatchingProofs#p5B"
  	      "    Expanded spec file: $SPECWARE/UserDoc/tutorial/example/Snark/MatchingProofs/p5B.sw"
  	      "    Snark Log file: $SPECWARE/UserDoc/tutorial/example/Snark/MatchingProofs/p5B.log"
  	      "p5B: Conjecture find_matches_aux_Obligation_subtype in MatchingObligations#FindMatches0_Oblig is Proved! *"
  
negative.code: 	      "    Expanded spec file: $SPECWARE/UserDoc/tutorial/example/Snark/MatchingProofs/p3D.sw"
  	      "    Snark Log file: $SPECWARE/UserDoc/tutorial/example/Snark/MatchingProofs/p3D.log"
  	      "p3D: Conjecture word_matches_aux?_Obligation_uniqueness in MatchingObligations#WordMatching0_Oblig is Proved! *"
  	      (:optional "")
  	      (:optional "")
  	      ))
  