Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2000-09-23 09:55:53 -0700 (Sat, 23 Sep 2000)
Revision: 3072
Log message:

      Bob's "Agatha" puzzle.
      

Changes  Path
+20 -0 metaprl/theories/itt/jprover_tests.ml