Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2001-08-09 18:26:47 -0700 (Thu, 09 Aug 2001)
Revision: 3365
Log message:

      Committing minor changes to the (very confused looking)
      boolean representation before I begin revising everything
      to reflect the presence of a program state.
      

Changes	Path
+6 -0	metaprl/theories/mc/fir_ty.ml
+2 -0	metaprl/theories/mc/fir_ty.mli