Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-06-29 16:06:26 -0700 (Fri, 29 Jun 2001)
Revision: 3302
Log message:

      Added a functionality to be able to limit JProver's maximal multiplicity level.
      

Changes	Path
+14 -15	metaprl/editor/ml/nuprl_jprover.ml
+31 -26	metaprl/refiner/reflib/jall.ml
+71 -82	metaprl/refiner/reflib/jall.mli
+7 -2	metaprl/theories/itt/itt_logic.ml