Changes by: Richard Eaton (eaton at cs.cornell.edu)
Date: 1998-04-15 15:59:18 -0700 (Wed, 15 Apr 1998)
Revision: 2130
Log message:

      .
      

Changes	Path
+1 -0	metaprl/library/Makefile
Added	metaprl/library/ascii_scan.mli
Properties	metaprl/library/ascii_scan.mli
Added	metaprl/library/ascii_term.ml
Properties	metaprl/library/ascii_term.ml
+215 -15	metaprl/library/db.ml