Changes by: Richard Eaton (eaton at cs.cornell.edu)
Date: 1998-09-09 12:02:30 -0700 (Wed, 09 Sep 1998)
Revision: 2463
Log message:

      .
      

Changes	Path
+24 -12	metaprl/library/definition.ml