Changes by: Lori Lorigo (lorigo at sbcglobal.net)
Date: 1997-08-01 07:37:30 -0700 (Fri, 01 Aug 1997)
Revision: 2043
Log message:

      .
      

Changes	Path
+40 -14	metaprl/library/Makefile
+2 -1	metaprl/library/basic.ml
+11 -3	metaprl/library/basic.mli
+0 -1	metaprl/library/library.ml
+9 -5	metaprl/library/library.mli
+22 -14	metaprl/library/mbterm.ml
+6 -3	metaprl/library/orb.ml
+3 -3	metaprl/library/test.ml