Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-07-23 19:49:46 -0700 (Wed, 23 Jul 2003)
Revision: 4771
Log message:

      Fixed a JProver bug that I accidentally introduced on July 3, 2001 (jall.ml rev 1.22)
      

Changes	Path
+4 -16	metaprl/refiner/reflib/jall.ml
+66 -6	metaprl/theories/itt/jprover_tests.ml
+752 -442	metaprl/theories/itt/jprover_tests.prla