Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-07-03 16:12:24 -0700 (Tue, 03 Jul 2001)
Revision: 3311
Log message:

      JProver shouldn't do "make_opname" all the time.
      

Changes  Path
+25 -22 metaprl/refiner/reflib/jall.ml
+3 -1 metaprl/theories/itt/itt_logic.ml