Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2000-09-21 22:24:40 -0700 (Thu, 21 Sep 2000)
Revision: 3070
Log message:

      JProver updates:
      - proper exception handling
      - nicely formatted code
      - a few speed improvements (I just changed a few random things, I have't yet
      looked at speed issues systematically)
      

Changes  Path
+3615 -3646 metaprl/refiner/reflib/jall.ml
+365 -454 metaprl/refiner/reflib/jtunify.ml
+2 -1 metaprl/refiner/reflib/jtunify.mli