Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2004-09-12 18:26:51 -0700 (Sun, 12 Sep 2004)
Revision: 6190
Log message:

      Reworked so the tactic-based version compiles.  Still doesn't work.
      

Changes  Path
+28 -24 mpcompiler/mmc/core/mmc_core_closure.ml