Changes by: Richard Eaton (eaton at cs.cornell.edu)
Date: 1998-04-22 11:25:10 -0700 (Wed, 22 Apr 1998)
Revision: 2149
Log message:

      .
      

Changes	Path
+14 -7	metaprl/library/ascii_scan.ml
+0 -1	metaprl/library/ascii_scan.mli
+22 -10	metaprl/library/basic.ml
+1 -2	metaprl/library/basic.mli
+89 -61	metaprl/library/db.ml
+2 -0	metaprl/library/db.mli
+1 -1	metaprl/library/mathBus.ml
+1 -1	metaprl/library/mbterm.ml
+9 -12	metaprl/library/nuprl5.ml
+3 -3	metaprl/library/nuprl5.mli
+22 -3	metaprl/library/test.ml