Changes by: Richard Eaton (eaton at cs.cornell.edu)
Date: 1997-09-16 11:56:00 -0700 (Tue, 16 Sep 1997)
Revision: 2068
Log message:

      .
      

Changes	Path
+4 -2	metaprl/library/definition.ml
+8 -6	metaprl/library/library.ml
+4 -2	metaprl/library/library.mli
+123 -18	metaprl/library/test.ml