Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2001-11-18 19:42:48 -0800 (Sun, 18 Nov 2001)
Revision: 3447
Log message:

      - More term operations added.
      - mc_term_op_ds now contains some local functions for
        (de)constructing terms with 4+ subterms.
      

Changes  Path
+2 -0 metaprl/theories/mc/Conscript
+1 -0 metaprl/theories/mc/Makefile
+13 -0 metaprl/theories/mc/README
+99 -3 metaprl/theories/mc/fir_exp.ml
+74 -3 metaprl/theories/mc/fir_exp.mli
Added metaprl/theories/mc/mc_term_op_ds.ml
Properties metaprl/theories/mc/mc_term_op_ds.ml
Added metaprl/theories/mc/mc_term_op_ds.mli
Properties metaprl/theories/mc/mc_term_op_ds.mli