Changes by: Cristian Tapus (crt at cs.caltech.edu)
Date: 2004-03-19 15:42:35 -0800 (Fri, 19 Mar 2004)
Revision: 5495
Log message:

      Removed ext_arithmetic files. Moving them to the integer extension
      

Changes	Path
Deleted	mpcompiler/mmc/extensions/arithmetic_integer/Files
Deleted	mpcompiler/mmc/extensions/arithmetic_integer/ext_arithmetic_integer.ml
Deleted	mpcompiler/mmc/extensions/arithmetic_integer/ext_arithmetic_integer.mli
Deleted	mpcompiler/mmc/extensions/arithmetic_integer/ext_arithmetic_integer_x86.ml
Deleted	mpcompiler/mmc/extensions/arithmetic_integer/ext_arithmetic_integer_x86.mli