Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-01-31 10:06:43 -0800 (Sat, 31 Jan 2004)
Revision: 5324
Log message:

      Some improvements, after this I'm going to try a little different approach
      for proof-support part of SupInf
      

Changes	Path
+12 -0	metaprl/theories/itt/itt_rat.mli
+59 -29	metaprl/theories/itt/itt_supinf.ml