Changes by: Richard Eaton (eaton at cs.cornell.edu)
Date: 1998-04-03 10:07:35 -0800 (Fri, 03 Apr 1998)
Revision: 2100
Log message:

      .
      

Changes	Path
+1 -1	metaprl/library/Makefile
+20 -1	metaprl/library/definition.ml
+2 -1	metaprl/library/library.ml
+1 -1	metaprl/library/library.mli
+57 -5	metaprl/library/library_type_base.ml
+6 -2	metaprl/library/library_type_base.mli
+3 -2	metaprl/library/orb.ml
+12 -5	metaprl/library/test.ml