Changes by: Lori Lorigo (lorigo at sbcglobal.net)
Date: 2000-05-03 06:46:23 -0700 (Wed, 03 May 2000)
Revision: 2948
Log message:

      improved jprover interface to account for variables
      

Changes	Path
+5 -1	metaprl/editor/ml/nuprl_jprover.ml
+1 -0	metaprl/editor/ml/nuprl_jprover.mli
+1 -1	metaprl/library/db.ml
+23 -4	metaprl/library/nuprl5.ml
+2 -0	metaprl/library/nuprl5.mli
+1 -1	metaprl/library/orb.ml