Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-02-07 00:25:47 -0800 (Mon, 07 Feb 2005)
Revision: 6621
Log message:

      Display form fixes.
      

Changes	Path
+7 -31	metaprl-branches/opname_classes4/theories/itt/itt_comment.ml