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

      Added some terms for convinience and added more test
      cases, many of which were for completeness, if nothing
      else.  The state related code should be fine by now.
      

Changes  Path
+10 -1 metaprl/theories/mc/fir_int_set.ml
+6 -0 metaprl/theories/mc/fir_int_set.mli
+1 -1 metaprl/theories/mc/fir_state.ml
+102 -4 metaprl/theories/mc/fir_test.ml
+1319 -422 metaprl/theories/mc/fir_test.prla
+2 -2 metaprl/theories/mc/fir_ty.ml
+2 -2 metaprl/theories/mc/fir_ty.mli