Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-02-01 19:50:58 -0800 (Sun, 01 Feb 2004)
Revision: 5330
Log message:

      "Do not re-assert same thing more than once" - added but disabled due to
      VERY weird behaviour - will describe it in "supinf todo" thread.
      

Changes	Path
+64 -39	metaprl/theories/itt/itt_supinf.ml