Changes by: Lori Lorigo (lorigo at sbcglobal.net)
Date: 2000-05-09 13:55:13 -0700 (Tue, 09 May 2000)
Revision: 2960
Log message:

      term functions for jprover/nuprl interface
      

Changes	Path
+1 -1	metaprl/editor/ml/nuprl_jprover.ml
+1 -1	metaprl/library/basic.ml
+1 -1	metaprl/library/definition.ml
+3 -3	metaprl/library/nuprl5.ml