Changes by: Richard Eaton (eaton at cs.cornell.edu)
Date: 1997-08-07 15:07:38 -0700 (Thu, 07 Aug 1997)
Revision: 2056
Log message:

      .
      

Changes	Path
+10 -0	metaprl/library/basic.ml
+2 -0	metaprl/library/basic.mli
+37 -8	metaprl/library/library.ml
+7 -3	metaprl/library/library.mli
+12 -9	metaprl/library/orb.ml
+1 -1	metaprl/library/orb.mli
+18 -21	metaprl/library/test.ml