Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2004-07-29 23:09:53 -0700 (Thu, 29 Jul 2004)
Revision: 6110
Log message:

      Conversion to new sequent syntax.
      

Changes  Path
+5 -0 mpcompiler/mmc/arch/x86/mmc_x86_prologue.mli
+3 -3 mpcompiler/mmc/core/mmc_core_ast.ml
+11 -3 mpcompiler/mmc/core/mmc_core_closure.ml
+39 -35 mpcompiler/mmc/core/mmc_core_cps.ml
+10 -10 mpcompiler/mmc/core/mmc_core_tast.ml
+2 -1 mpcompiler/mmc/core/mmc_core_theory.ml
+43 -43 mpcompiler/mmc/core/mmc_core_type_check.ml
+11 -11 mpcompiler/mmc/core/mmc_core_type_infer.ml