Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2004-01-27 02:19:19 -0800 (Tue, 27 Jan 2004)
Revision: 5289
Log message:

      More progress on proving..
      

Changes	Path
+6 -4	metaprl/theories/itt/itt_cyclic_group.ml
+1288 -1372	metaprl/theories/itt/itt_cyclic_group.prla
+1 -0	metaprl/theories/itt/itt_int_base.ml
+1 -0	metaprl/theories/itt/itt_int_base.mli
+16 -0	metaprl/theories/itt/itt_int_ext.ml
+1918 -1754	metaprl/theories/itt/itt_int_ext.prla
+37 -4	metaprl/theories/itt/itt_poly.ml
+4 -0	metaprl/theories/itt/itt_poly.mli
+5313 -1565	metaprl/theories/itt/itt_poly.prla