Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2001-08-14 13:42:33 -0700 (Tue, 14 Aug 2001)
Revision: 3371
Log message:

      The execution time problem should be pretty much
      fixed now (complex1 in Fir_test should only take
      a few seconds now).  I reduced the amount of induction
      reduction that had to be done.  The code
      still wants a little more testing done it
      at this point.
      

Changes  Path
+38 -54 metaprl/theories/mc/fir_state.ml
+19 -26 metaprl/theories/mc/fir_state.mli
+8 -9 metaprl/theories/mc/fir_test.ml
Added metaprl/theories/mc/fir_test.prla
Properties metaprl/theories/mc/fir_test.prla