Changes by: Richard Eaton (eaton at cs.cornell.edu)
Date: 1997-08-01 11:50:34 -0700 (Fri, 01 Aug 1997)
Revision: 2045
Log message:

      .
      

Changes	Path
+54 -30	metaprl/library/Makefile
+6 -6	metaprl/library/basic.ml
+15 -4	metaprl/library/library.ml
+117 -20	metaprl/library/library.mli
+49 -17	metaprl/library/orb.ml
+3 -1	metaprl/library/orb.mli
+2 -2	metaprl/library/test.ml