Changes by: Richard Eaton (eaton at cs.cornell.edu)
Date: 1998-05-06 11:22:43 -0700 (Wed, 06 May 1998)
Revision: 2169
Log message:

      .
      

Changes	Path
+7 -0	metaprl/library/library_eval.ml
+27 -12	metaprl/library/library_eval.mli