Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-11-14 15:20:00 -0800 (Sun, 14 Nov 2004)
Revision: 6268
Log message:

      Finally, I've managed to export most of the proofs.
      

Changes	Path
+31 -2	metaprl/theories/itt/itt_supinf.ml
+3 -2	metaprl/theories/itt/itt_supinf.mli
+44836 -35151	metaprl/theories/itt/itt_supinf.prla