Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2002-02-24 18:24:42 -0800 (Sun, 24 Feb 2002)
Revision: 3516
Log message:

      Replaced equality relations with equivalence relations everywhere in the
      context of groups, and re-proved the rules.
      

Changes	Path
+444 -9	metaprl/theories/czf/czf_itt_group.ml
+3 -3	metaprl/theories/czf/czf_itt_group.mli
+1744 -1666	metaprl/theories/czf/czf_itt_group.prla