Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-04-03 18:39:43 -0700 (Sun, 03 Apr 2005)
Revision: 7102
Log message:

      Updated display forms for the "declare" directives to match the current term
      encoding of those directives.
      

Changes	Path
+25 -15	metaprl/support/display/summary.ml
+0 -1	metaprl/theories/itt/itt_labels.ml