Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-04-27 12:52:38 -0700 (Sat, 27 Apr 2002)
Revision: 3590
Log message:

      Adding some documentation.  Still have a long ways to go
      in fully documenting everything.
      

Changes	Path
+62 -9	metaprl/theories/mc/mp_mc_fir_base.ml
+1 -1	metaprl/theories/mc/mp_mc_fir_base.mli
+93 -24	metaprl/theories/mc/mp_mc_fir_exp.ml
+63 -8	metaprl/theories/mc/mp_mc_fir_ty.ml