Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-11-18 11:41:36 -0800 (Thu, 18 Nov 2004)
Revision: 6279
Log message:

      Moved some code from itt_supinf to reflib/supinf
      

Changes	Path
+90 -0	metaprl/refiner/reflib/supinf.ml
+12 -0	metaprl/refiner/reflib/supinf.mli
+33 -101	metaprl/theories/itt/itt_supinf.ml
+4 -2	metaprl/theories/itt/itt_supinf.mli