Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-02-01 07:49:18 -0800 (Sun, 01 Feb 2004)
Revision: 5328
Log message:

      (Hopefully) all cases covered.
      

Changes	Path
+3 -3	metaprl/theories/itt/itt_supinf.ml
+34454 -28539	metaprl/theories/itt/itt_supinf.prla