Changes by: Richard Eaton (eaton at cs.cornell.edu)
Date: 1997-09-12 07:58:17 -0700 (Fri, 12 Sep 1997)
Revision: 2065
Log message:

      .
      

Changes	Path
+38 -25	metaprl/library/library.ml
+1 -4	metaprl/library/library.mli
+16 -2	metaprl/library/orb.ml
+15 -29	metaprl/library/tentfunctor.ml
+0 -6	metaprl/library/tentfunctor.mli
+74 -37	metaprl/library/test.ml
+14 -0	metaprl/library/utils.ml
+3 -0	metaprl/library/utils.mli