Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-02-01 21:31:30 -0800 (Sun, 01 Feb 2004)
Revision: 5331
Log message:

      "Do not re-assert same thing more than once" - enabled,
      more than 10 times speedup gained (test4, from 32 to less than 3 seconds)
      
      For "weird behaviour" see "supinf todo" thread.
      

Changes	Path
+37 -16	metaprl/theories/itt/itt_supinf.ml