Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-05-01 10:20:47 -0700 (Thu, 01 May 2003)
Revision: 4529
Log message:

      Added FIR syntax.
      

Changes	Path
+6 -5	metaprl/theories/experimental/mcc/fir/util/OMakefile
Added	metaprl/theories/experimental/mcc/fir/util/m_fir.ml
Properties	metaprl/theories/experimental/mcc/fir/util/m_fir.ml
Added	metaprl/theories/experimental/mcc/fir/util/m_fir.mli
Properties	metaprl/theories/experimental/mcc/fir/util/m_fir.mli
+17 -0	metaprl/theories/experimental/mcc/fir/util/m_prec.ml
+8 -0	metaprl/theories/experimental/mcc/fir/util/m_prec.mli
+4 -0	metaprl/theories/experimental/mcc/fir/util/m_rawfloat.mli
+4 -0	metaprl/theories/experimental/mcc/fir/util/m_rawint.mli
Added	metaprl/theories/experimental/mcc/fir/util/m_set.ml
Properties	metaprl/theories/experimental/mcc/fir/util/m_set.ml
Added	metaprl/theories/experimental/mcc/fir/util/m_set.mli
Properties	metaprl/theories/experimental/mcc/fir/util/m_set.mli