Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2001-11-20 14:31:15 -0800 (Tue, 20 Nov 2001)
Revision: 3452
Log message:

      - More term operations. Everything in fir_ty and fir_exp should
        have term (de)construction operations now.
      - Started redoing the README file.
      - IMPORTANT: At this point, the default compile setup for the MC theory
        will depend on the source tree for the mojave compiler being present.
      - WARNING: For those using cons, the update of fir_marshal here breaks
        compilation of mp.opt due to a library conflict.
      

Changes  Path
+29 -67 metaprl/theories/mc/README
+54 -0 metaprl/theories/mc/fir_exp.ml
+47 -0 metaprl/theories/mc/fir_exp.mli
+2 -9 metaprl/theories/mc/fir_marshal.ml
+9 -0 metaprl/theories/mc/fir_marshal.mli
+23 -1 metaprl/theories/mc/mc_term_op_ds.ml
+8 -0 metaprl/theories/mc/mc_term_op_ds.mli
+1 -0 metaprl/theories/mc/mc_theory.ml
+1 -0 metaprl/theories/mc/mc_theory.mli