Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2001-11-04 02:28:15 -0800 (Sun, 04 Nov 2001)
Revision: 3438
Log message:

      - Added a Conscript
      - const_elim is much simpler now!
        The tactic for it is still a bit slow though.
      - Changed cmp(Raw)IntOp evaluation to reflect
        mc better.
      

Changes  Path
Added metaprl/theories/mc/Conscript
Properties metaprl/theories/mc/Conscript
+46 -142 metaprl/theories/mc/fir_const_elim.ml
+4 -34 metaprl/theories/mc/fir_const_elim.mli
+892 -2100 metaprl/theories/mc/fir_const_elim.prla
+8 -8 metaprl/theories/mc/fir_eval.ml
+3 -3 metaprl/theories/mc/fir_test.ml