Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2001-09-20 20:03:22 -0700 (Thu, 20 Sep 2001)
Revision: 3395
Log message:

      Declared terms for some more elements from the FIR.
      Updated some comments in the code.
      

Changes	Path
+21 -6	metaprl/theories/mc/fir_exp.ml
+8 -3	metaprl/theories/mc/fir_exp.mli
+2 -1	metaprl/theories/mc/fir_int.ml
+3 -4	metaprl/theories/mc/fir_int.mli
+1 -1	metaprl/theories/mc/fir_int_set.ml
+1 -1	metaprl/theories/mc/fir_int_set.mli
+36 -0	metaprl/theories/mc/fir_ty.ml
+30 -1	metaprl/theories/mc/fir_ty.mli
+0 -2	metaprl/theories/mc/mc_theory.ml
+0 -2	metaprl/theories/mc/mc_theory.mli