Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2004-02-11 23:33:21 -0800 (Wed, 11 Feb 2004)
Revision: 5365
Log message:

      Changing an anonymous function into a named function.
      

Changes  Path
+29 -29 metaprl/refiner/term_ds/term_base_ds.ml