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

      .
      

Changes	Path
+4 -0	metaprl/library/basic.ml
+33 -0	metaprl/library/library.ml
+5 -0	metaprl/library/library.mli
+4 -1	metaprl/library/library_type_base.ml
+37 -9	metaprl/library/orb.ml
+1 -1	metaprl/library/test.ml