Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2002-05-29 04:26:11 -0700 (Wed, 29 May 2002)
Revision: 3701
Log message:

      Updated comments.
      Also fixed a small error in the well-formedness rule in Czf_itt_normal_subgroup
      

Changes  Path
+3 -13 metaprl/theories/czf/czf_itt_comment.ml
+15 -16 metaprl/theories/czf/czf_itt_coset.ml
+1 -1 metaprl/theories/czf/czf_itt_cyclic_group.ml
+6 -6 metaprl/theories/czf/czf_itt_cyclic_subgroup.ml
+24 -20 metaprl/theories/czf/czf_itt_group.ml
+1 -1 metaprl/theories/czf/czf_itt_group_power.ml
+15 -17 metaprl/theories/czf/czf_itt_hom.ml
+5 -5 metaprl/theories/czf/czf_itt_inv_image.ml
+1 -1 metaprl/theories/czf/czf_itt_iso.ml
+12 -15 metaprl/theories/czf/czf_itt_ker.ml
+0 -2 metaprl/theories/czf/czf_itt_ker.mli
+2 -2 metaprl/theories/czf/czf_itt_kleingroup.ml
+0 -1 metaprl/theories/czf/czf_itt_normal_subgroup.ml
+3 -3 metaprl/theories/czf/czf_itt_subgroup.ml