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