Changes by: Richard Eaton (eaton at cs.cornell.edu)
Date: 1998-05-05 13:16:51 -0700 (Tue, 05 May 1998)
Revision: 2168
Log message:

      .
      

Changes	Path
+5 -5	metaprl/library/library_eval.ml
+4 -2	metaprl/library/library_eval.mli
+1 -1	metaprl/library/test.ml