Changes by: Richard Eaton (eaton at cs.cornell.edu)
Date: 1997-08-06 09:06:00 -0700 (Wed, 06 Aug 1997)
Revision: 2046
Log message:

      .
      

Changes	Path
+60 -2	metaprl/library/basic.ml
+12 -0	metaprl/library/basic.mli
+32 -32	metaprl/library/library.ml
+7 -4	metaprl/library/library.mli
+15 -4	metaprl/library/orb.ml
+9 -1	metaprl/library/orb.mli
+24 -6	metaprl/library/test.ml
+0 -0	metaprl/library/utils.ml