Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2004-09-01 12:27:27 -0700 (Wed, 01 Sep 2004)
Revision: 6155
Log message:

      Added rewrites for closure of let recs.  Now need to write tactics.
      

Changes  Path
+79 -0 mpcompiler/mmc/core/mmc_core_closure.ml