Changes by: Lori Lorigo (lorigo at sbcglobal.net)
Date: 1997-09-30 14:25:23 -0700 (Tue, 30 Sep 1997)
Revision: 2072
Log message:

      .
      

Changes	Path
+20 -20	metaprl/library/db.ml
+1 -1	metaprl/library/db.mli
+1 -1	metaprl/library/orb.ml