Changes by: Richard Eaton (eaton at cs.cornell.edu)
Date: 1998-05-05 13:05:57 -0700 (Tue, 05 May 1998)
Revision: 2167
Log message:

      .
      

Changes	Path
+2 -1	metaprl/library/Makefile
+4 -4	metaprl/library/ascii_scan.ml
+68 -21	metaprl/library/basic.ml
+13 -0	metaprl/library/basic.mli
+18 -19	metaprl/library/db.ml
+29 -16	metaprl/library/definition.ml
+18 -7	metaprl/library/library.ml
+1 -0	metaprl/library/library.mli
Added	metaprl/library/library_eval.ml
Properties	metaprl/library/library_eval.ml
Added	metaprl/library/library_eval.mli
Properties	metaprl/library/library_eval.mli
+7 -1	metaprl/library/library_type_base.ml
+5 -0	metaprl/library/object_id.ml
+1 -0	metaprl/library/object_id.mli
+12 -5	metaprl/library/oidtable.ml
+29 -26	metaprl/library/orb.ml
+19 -10	metaprl/library/tentfunctor.ml
+1 -1	metaprl/library/tentfunctor.mli
+20 -3	metaprl/library/test.ml
+1 -0	metaprl/library/utils.ml
+1 -0	metaprl/library/utils.mli