Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2001-08-10 16:03:52 -0700 (Fri, 10 Aug 2001)
Revision: 3368
Log message:

      Initial stab at representing the program state, its
      associated operations, and general judgements
      about programs.  This may require revisions/total-rewrites
      as I discover how well this actually lends itself to making
      such things as fir_exp state aware.  Eventually, these
      will be given interpretations within ITT.
      

Changes	Path
Added	metaprl/theories/mc/fir_sos.ml
Properties	metaprl/theories/mc/fir_sos.ml
Added	metaprl/theories/mc/fir_sos.mli
Properties	metaprl/theories/mc/fir_sos.mli
Added	metaprl/theories/mc/fir_state.ml
Properties	metaprl/theories/mc/fir_state.ml
Added	metaprl/theories/mc/fir_state.mli
Properties	metaprl/theories/mc/fir_state.mli