Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-11-20 20:14:37 -0800 (Sat, 20 Nov 2004)
Revision: 6283
Log message:

      itt_rat - definition of GCD was incorrect on negative numbers
      refiner/reflib/supinf - removed some unused cases.
      itt_supinf - minor modifications
      

Changes	Path
+6 -0	metaprl/refiner/reflib/supinf.ml
+16 -9	metaprl/theories/itt/itt_rat.ml
+78 -67	metaprl/theories/itt/itt_supinf.ml