Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-04-29 13:25:00 -0700 (Tue, 29 Apr 2003)
Revision: 4517
Log message:

      Added int31 and rawfloat.  In all cases, these numerical values
      are represented in MetaPRL with string parameters.
      

Changes	Path
+4 -1	metaprl/theories/experimental/mcc/fir/OMakefile
Added	metaprl/theories/experimental/mcc/fir/m_int.ml
Properties	metaprl/theories/experimental/mcc/fir/m_int.ml
Added	metaprl/theories/experimental/mcc/fir/m_int.mli
Properties	metaprl/theories/experimental/mcc/fir/m_int.mli
Added	metaprl/theories/experimental/mcc/fir/m_prec.ml
Properties	metaprl/theories/experimental/mcc/fir/m_prec.ml
Added	metaprl/theories/experimental/mcc/fir/m_prec.mli
Properties	metaprl/theories/experimental/mcc/fir/m_prec.mli
Added	metaprl/theories/experimental/mcc/fir/m_rawfloat.ml
Properties	metaprl/theories/experimental/mcc/fir/m_rawfloat.ml
Added	metaprl/theories/experimental/mcc/fir/m_rawfloat.mli
Properties	metaprl/theories/experimental/mcc/fir/m_rawfloat.mli
+2 -19	metaprl/theories/experimental/mcc/fir/m_rawint.ml
+27 -10	metaprl/theories/experimental/mcc/fir/m_rawint.mli