Changes by: Yegor Bryukhov (ybryukhov at gmail.com)
Date: 2008-03-26 20:33:57 -0700 (Wed, 26 Mar 2008)
Revision: 12808
Log message:

      there is some proble mwith parenthesization of implication,
     there were no parentheses before, no they are always displayed, 
     ignoring precedence. I have to look at ITT display forms to fix it.