Changes by: Richard Eaton (eaton at cs.cornell.edu)
Date: 1997-09-12 14:08:39 -0700 (Fri, 12 Sep 1997)
Revision: 2067
Log message:

      .
      

Changes	Path
+3 -3	metaprl/library/basic.ml
+20 -5	metaprl/library/library.ml
+30 -11	metaprl/library/library.mli
+2 -2	metaprl/library/orb.ml
+52 -2	metaprl/library/test.ml