Changes by: Lori Lorigo (lorigo at sbcglobal.net)
Date: 1998-04-15 12:51:35 -0700 (Wed, 15 Apr 1998)
Revision: 2127
Log message:

      ascii
      

Changes	Path
+102 -0	metaprl/library/db.ml
+5 -1	metaprl/library/db.mli
+42 -41	metaprl/library/mbterm.ml
+3 -1	metaprl/library/test.ml