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