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