Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2003-03-20 17:16:26 -0800 (Thu, 20 Mar 2003)
Revision: 4197
Log message:

       - Fixed some broken proofs.
       - Updated structure of itt_group.
       - subStructure and subgroup need redefining and anything related with
         subgroup needs to be updated.
      

Changes	Path
+1264 -1081	metaprl/theories/itt/itt_cyclic_group.prla
+242 -92	metaprl/theories/itt/itt_group.ml
+8 -0	metaprl/theories/itt/itt_group.mli
+6150 -5246	metaprl/theories/itt/itt_group.prla