Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-02-09 14:32:05 -0800 (Thu, 09 Feb 2006)
Revision: 8653
Log message:

      The way we had <= and >= defined with reduceT "randomly" turning >= into <=
      was a complete mess! To avoid this mess, I have defined le and le_bool as
      _iforms_ that automatically turn into corresponding ge/ge_bool. Ideally, they
      should be some sort of "soft IO abstractions" so that terms that are entered
      as <= will be displayed as <= (while being idential to >= from the POV of the
      formal rewriter) - see bug 256 and bug 261.