Changes by: Lori Lorigo (lorigo at sbcglobal.net)
Date: 1998-04-17 09:47:09 -0700 (Fri, 17 Apr 1998)
Revision: 2142
Log message:

      .
      

Changes	Path
+9 -0	metaprl/library/db.ml
+1 -0	metaprl/library/db.mli
+14 -1	metaprl/library/library.ml