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