Changes by: Lori Lorigo (lorigo at sbcglobal.net)
Date: 1998-04-16 14:21:21 -0700 (Thu, 16 Apr 1998)
Revision: 2135
Log message:

      .
      

Changes	Path
+68 -6	metaprl/library/db.ml
+5 -2	metaprl/library/db.mli
+17 -13	metaprl/library/mbterm.ml