Changes by: Lori Lorigo (lorigo at sbcglobal.net)
Date: 1998-04-30 07:55:29 -0700 (Thu, 30 Apr 1998)
Revision: 2162
Log message:

      .
      

Changes	Path
+1 -1	metaprl/library/basic.ml
+11 -12	metaprl/library/db.ml
+16 -1	metaprl/library/library.ml
+5 -2	metaprl/library/link.ml
+12 -6	metaprl/library/mathBus.ml
+23 -22	metaprl/library/mbterm.ml
+2 -0	metaprl/library/mbterm.mli
+2 -2	metaprl/library/test.ml