Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2002-04-01 23:49:49 -0800 (Mon, 01 Apr 2002)
Revision: 3555
Log message:

      Updated the definition and rules for abelian groups due to the adding
      of "eqG".
      

Changes	Path
+8 -12	metaprl/theories/czf/czf_itt_abel_group.ml
+3 -3	metaprl/theories/czf/czf_itt_abel_group.mli
+1166 -1267	metaprl/theories/czf/czf_itt_abel_group.prla