Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-11-29 22:23:09 -0800 (Mon, 29 Nov 2004)
Revision: 6295
Log message:

      Now it understands that there is no integers between 'n and 'n+1
      

Changes	Path
+5 -0	metaprl/theories/itt/itt_rat.ml
+3 -0	metaprl/theories/itt/itt_rat.mli
+61 -19	metaprl/theories/itt/itt_supinf.ml