Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-02-01 17:34:01 -0800 (Sun, 01 Feb 2004)
Revision: 5329
Log message:

      Removed all tryT, switched off debug output
      

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