Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-02-16 21:53:23 -0800 (Mon, 16 Feb 2004)
Revision: 5379
Log message:

      Some lemmas on the way to integer support in SupInf.
      

Changes	Path
+13 -0	metaprl/theories/itt/itt_bool.ml
+1 -0	metaprl/theories/itt/itt_bool.mli
+1134 -698	metaprl/theories/itt/itt_bool.prla
+6 -0	metaprl/theories/itt/itt_int_ext.ml
+2 -0	metaprl/theories/itt/itt_int_ext.mli
+5703 -4912	metaprl/theories/itt/itt_int_ext.prla
+45 -1	metaprl/theories/itt/itt_rat.ml
+7372 -2886	metaprl/theories/itt/itt_rat.prla