Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-10 15:51:04 -0700 (Thu, 10 Jun 2004)
Revision: 5878
Log message:

      Updated a few display forms (including one for sequents and meta-sequents)
      to use slot{} in the right places.
      

Changes	Path
+6 -5	metaprl/support/display/base_dform.ml
+5 -5	metaprl/support/display/summary.ml
+3 -3	metaprl/theories/itt/itt_comment.ml