Changes by: Adam Granicz (granicz at cs.caltech.edu)
Date: 2002-05-15 23:21:53 -0700 (Wed, 15 May 2002)
Revision: 3644
Log message:

      Included Itt_list and Itt_list2 in Mp_mc_theory.
      Now, Phobos is passing a list of inline forms (as mp_pre_term list) as well.
      

Changes	Path
+8 -3	metaprl/theories/mc/mp_mc_compile.ml
+1 -1	metaprl/theories/mc/mp_mc_compile.mli
+7 -0	metaprl/theories/mc/mp_mc_fir_phobos.ml
+2 -0	metaprl/theories/mc/mp_mc_theory.mlz