Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-06-19 17:27:08 -0700 (Thu, 19 Jun 2003)
Revision: 4675
Log message:

      Fixing display form for the ML rewrites.
      

Changes	Path
+4 -4	metaprl/support/display/summary.ml
+1 -1	metaprl/support/display/summary.mli
+3 -2	metaprl/theories/base/base_meta.ml