Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-12-04 13:16:54 -0800 (Sat, 04 Dec 2004)
Revision: 6331
Log message:

      Forgot to skip trivial inequalities like 5>0 (since I detect things like 0>5,
      it's logical to skip 5>0-likes)
      

Changes	Path
+5 -1	metaprl/theories/itt/itt_supinf.ml