Changes by: Lori Lorigo (lorigo at sbcglobal.net)
Date: 1998-10-05 10:42:34 -0700 (Mon, 05 Oct 1998)
Revision: 2487
Log message:

      Added library_eval (moved from ../../library because of
      dependency on nl functions).
      Modified library_eval and added library_test to support
      interaction with Nuprl 5 interface.
      

Changes	Path
+9 -2	metaprl/editor/ml/Makefile
Added	metaprl/editor/ml/library_eval.ml
Properties	metaprl/editor/ml/library_eval.ml
Added	metaprl/editor/ml/library_eval.mli
Properties	metaprl/editor/ml/library_eval.mli
Added	metaprl/editor/ml/library_test.ml
Properties	metaprl/editor/ml/library_test.ml
Added	metaprl/editor/ml/library_test.mli
Properties	metaprl/editor/ml/library_test.mli