Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-04-29 16:15:57 -0700 (Mon, 29 Apr 2002)
Revision: 3592
Log message:

      Some more documentation.  I'll be able to document more things
      when the MC developers document their stuff a bit more.
      I've changed the order in which the modules of the mc theory
      are printed so that I can put an overview of the theory
      in Mp_mc_theory and have that serve as an introduction to the
      rest of the modules.  (This over view is not currently in there,
      but should be on my next commit.)
      

Changes  Path
+1 -1 metaprl/doc/latex/theories/mc/print.ml
+14 -5 metaprl/theories/mc/mp_mc_fir_base.ml
+110 -28 metaprl/theories/mc/mp_mc_fir_exp.ml
+1 -1 metaprl/theories/mc/mp_mc_fir_exp.mli
+7 -4 metaprl/theories/mc/mp_mc_fir_ty.ml
+7 -1 metaprl/theories/mc/mp_mc_theory.mlz