Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2003-04-25 15:34:01 -0700 (Fri, 25 Apr 2003)
Revision: 4498
Log message:

      Changed a rule about "onto homomorphism" to use "epimorphism".
      

Changes	Path
+12 -13	metaprl/theories/itt/itt_group.ml
+2909 -3520	metaprl/theories/itt/itt_group.prla