Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-01-31 19:41:30 -0800 (Sat, 31 Jan 2004)
Revision: 5325
Log message:

      Some improvements
      

Changes	Path
+12 -0	metaprl/theories/itt/itt_rat.ml
+12 -0	metaprl/theories/itt/itt_rat.mli
+73 -48	metaprl/theories/itt/itt_supinf.ml