Changes by: Lori Lorigo (lorigo at sbcglobal.net)
Date: 1999-03-04 07:02:04 -0800 (Thu, 04 Mar 1999)
Revision: 2604
Log message:

      Implemented access to rewrites and fixed saving of theories in nuprl/mp link
      

Changes	Path
+171 -70	metaprl/editor/ml/library_eval.ml
+4 -0	metaprl/editor/ml/library_eval.mli
+4 -0	metaprl/editor/ml/mp.ml
+5 -1	metaprl/editor/ml/mp.mli
+41 -1	metaprl/editor/ml/shell.ml
+5 -1	metaprl/editor/ml/shell.mli
+14 -13	metaprl/library/basic.ml