Changes by: Richard Eaton (eaton at cs.cornell.edu)
Date: 1997-09-09 09:09:45 -0700 (Tue, 09 Sep 1997)
Revision: 2063
Log message:

      .
      

Changes	Path
+12 -3	metaprl/library/Makefile
+70 -9	metaprl/library/basic.ml
+15 -5	metaprl/library/basic.mli
+2 -2	metaprl/library/db.ml
Added	metaprl/library/definition.ml
Properties	metaprl/library/definition.ml
Added	metaprl/library/definition.mli
Properties	metaprl/library/definition.mli
+204 -68	metaprl/library/library.ml
+43 -25	metaprl/library/library.mli
Added	metaprl/library/oidtable.ml
Properties	metaprl/library/oidtable.ml
Added	metaprl/library/oidtable.mli
Properties	metaprl/library/oidtable.mli
+120 -20	metaprl/library/orb.ml
+9 -0	metaprl/library/orb.mli
Added	metaprl/library/tentfunctor.ml
Properties	metaprl/library/tentfunctor.ml
Added	metaprl/library/tentfunctor.mli
Properties	metaprl/library/tentfunctor.mli
+44 -3	metaprl/library/test.ml
Added	metaprl/library/test.mli
Properties	metaprl/library/test.mli