Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2004-01-28 20:40:29 -0800 (Wed, 28 Jan 2004)
Revision: 5308
Log message:

      Clean-ups.
      

Changes	Path
+24 -24	metaprl/theories/itt/itt_cyclic_group.ml
+1211 -1217	metaprl/theories/itt/itt_cyclic_group.prla
+27 -22	metaprl/theories/itt/itt_field2.ml
+1158 -802	metaprl/theories/itt/itt_field2.prla
+133 -135	metaprl/theories/itt/itt_group.ml
+8412 -8535	metaprl/theories/itt/itt_group.prla
+21 -22	metaprl/theories/itt/itt_grouplikeobj.ml
+3436 -3424	metaprl/theories/itt/itt_grouplikeobj.prla
+7 -0	metaprl/theories/itt/itt_int_ext.mli
+6 -6	metaprl/theories/itt/itt_intdomain.ml
+3878 -3494	metaprl/theories/itt/itt_intdomain.prla
+9 -18	metaprl/theories/itt/itt_quotient_group.ml
+873 -941	metaprl/theories/itt/itt_quotient_group.prla
+118 -118	metaprl/theories/itt/itt_ring2.ml
+5445 -5469	metaprl/theories/itt/itt_ring2.prla
+45 -46	metaprl/theories/itt/itt_unitring.ml