Changes by: Lori Lorigo (lorigo at sbcglobal.net)
Date: 1998-04-17 08:13:53 -0700 (Fri, 17 Apr 1998)
Revision: 2140
Log message:

      .
      

Changes  Path
+2 -2 metaprl/library/db.ml
+0 -2 metaprl/library/db.mli