Changes by: Adam Granicz (granicz at cs.caltech.edu)
Date: 2002-05-11 18:45:04 -0700 (Sat, 11 May 2002)
Revision: 3626
Log message:

      Print those rewrites that we get from Phobos. Just a copy of what I have
      before I leave, feel free to get rid of the changes.
       ----------------------------------------------------------------------
      

Changes	Path
+13 -4	metaprl-branches/ocaml_3_04/theories/mc/mp_mc_compile.ml