anchor.diff:    :show   "Bug_0045/ToString"
     :output ";;; Elaborating spec at $TESTDIR/Bug_0045/ToString
   
  -spec
  -  op b : Nat -> String
  -  def b = toString
  -endspec
  +spec  
  + op b : Nat -> String
  + def b = toString
  +endspec
  +
   ")
   
   
    ("Bug 0045 : Unambiguous op erroneously declared ambiguous [FlipFlop]"
     :show   "Bug_0045/Flop#FlipFlopImplementation" 
     :output ";;; Elaborating spec-morphism at $TESTDIR/Bug_0045/Flop#FlipFlopImplementation
  -;;; Elaborating spec at $TESTDIR/Bug_0045/Flop#Flipflop
  +;;; Elaborating spec at $TESTDIR/Bug_0045/Flop#Flip
  +;;; Elaborating spec at $TESTDIR/Bug_0045/Flop#Flop
   ;;; Elaborating spec at $TESTDIR/Bug_0045/Flop#FlipFlopImplementation
   
   morphism
       spec  
    type Flip
  - op flop : Flip -> Flip
  + op flip : Flip -> Flip
   endspec
   
       ->
       spec  
  + type A
  + type B
  + op A.flop : A -> A
  + op B.flop : B -> B
   endspec
   
       {type Flip
        +->
  -     Boolean.Boolean,
  -     op flop
  +     A,
  +     op flip
        +->
  -     ~}
  +     flop}
   ")
   
    ("Bug 0053 : Strange result is shown for result of spec-substitution"
  
positive.code:     fa(x : Nat, y : Nat, z : Nat) 
       eq_mod10(x, y) && eq_mod10(y, z) => eq_mod10(x, z)
  endspec
  ")
  
   ("Bug 0093 : No check on clashing defs in colimit"
  
negative.code: ;;; Elaborating spec at $SPECWARE/Library/ProverBase/System
  ;;; Elaborating spec at $SPECWARE/Library/Base/ProverRewrite
  ;;; Elaborating spec at $SPECWARE/Library/Base/ProverBase
  ShouldBeProvable: Conjecture change is Proved! using Snark.
      Snark Log file: $TESTDIR/Bug_0043/Both/Change/ShouldBeProvable.log
  
  
  