Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-03-14 19:21:25 -0800 (Mon, 14 Mar 2005)
Revision: 6923
Log message:

      Added a fake_mlrw operator to make documenting ML rewrites easier.
      

Changes	Path
+4 -2	metaprl/support/display/summary.ml
+4 -1	metaprl/support/display/summary.mli
+6 -7	metaprl/theories/base/base_reflection.ml