Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2001-08-04 11:39:51 -0700 (Sat, 04 Aug 2001)
Revision: 3360
Log message:

      - Updated some display forms.
      - Organized the term declarations to be in more logical locations.
      - There should be terms for most of the items in the FIR now.
      - Still need to work on semantics of the terms and rewrites.
      

Changes  Path
+1 -1 metaprl/theories/mc/Makefile
+95 -37 metaprl/theories/mc/fir_exp.ml
+37 -14 metaprl/theories/mc/fir_exp.mli
+15 -12 metaprl/theories/mc/fir_int.ml
+2 -1 metaprl/theories/mc/fir_int.mli
+4 -17 metaprl/theories/mc/fir_int_set.ml
+3 -9 metaprl/theories/mc/fir_int_set.mli
+28 -109 metaprl/theories/mc/fir_test.ml
+4 -0 metaprl/theories/mc/fir_test.mli
+62 -52 metaprl/theories/mc/fir_ty.ml
+37 -55 metaprl/theories/mc/fir_ty.mli