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