Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-12-03 22:01:44 -0800 (Fri, 03 Dec 2004)
Revision: 6322
Log message:

      Proved all testcases
      

Changes  Path
+31572 -44579 metaprl/theories/itt/itt_supinf.prla