Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-01-08 17:07:04 -0800 (Thu, 08 Jan 2004)
Revision: 5238
Log message:

      Cleaned up some of the set code in JProver. This gives about 5% speedup
      on the "status_all".
      

Changes  Path
+50 -77 metaprl/refiner/reflib/jall.ml