Changes by: Adam Granicz (granicz at cs.caltech.edu)
Date: 2002-05-11 01:38:00 -0700 (Sat, 11 May 2002)
Revision: 3622
Log message:

      Phobos returns a term and a list of (term*term) pairs that represent
      simple rewrites.
      

Changes	Path
+1 -0	metaprl-branches/ocaml_3_04/theories/mc/Conscript
+5 -1	metaprl-branches/ocaml_3_04/theories/mc/mp_mc_compile.ml
+2 -1	metaprl-branches/ocaml_3_04/theories/mc/mp_mc_compile.mli