Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2001-08-10 22:58:46 -0700 (Fri, 10 Aug 2001)
Revision: 3369
Log message:

      Uploading some new files and some minor changes so
      that I can get some help in understanding what is going
      on with the Fir_state / Fir_itt_state code.
      

Changes  Path
Properties metaprl/theories/mc
+6 -1 metaprl/theories/mc/Makefile
Added metaprl/theories/mc/fir_itt_state.ml
Properties metaprl/theories/mc/fir_itt_state.ml
Added metaprl/theories/mc/fir_itt_state.mli
Properties metaprl/theories/mc/fir_itt_state.mli
+1 -2 metaprl/theories/mc/fir_state.ml
+3 -4 metaprl/theories/mc/fir_state.mli