Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2003-08-19 22:25:49 -0700 (Tue, 19 Aug 2003)
Revision: 4854
Log message:

      Forgot to cvs add these guys.  Thanks Jason.
      

Changes	Path
Added	mpcompiler/mmc/extensions/ext_arithmetic.ml
Properties	mpcompiler/mmc/extensions/ext_arithmetic.ml
Added	mpcompiler/mmc/extensions/ext_arithmetic.mli
Properties	mpcompiler/mmc/extensions/ext_arithmetic.mli