Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-03-16 14:24:35 -0800 (Tue, 16 Mar 2004)
Revision: 5466
Log message:

      Migrating to the sequent notation in the backend.
      

Changes	Path
+6 -27	mpcompiler/mmc/arch/x86/mmc_x86_asm.ml
+1 -7	mpcompiler/mmc/arch/x86/mmc_x86_asm.mli