Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2003-05-06 21:58:34 -0700 (Tue, 06 May 2003)
Revision: 4569
Log message:

      Changed the definitions for injection, surjection, and bijection.
      Added more rules for quotient group.
      

Changes	Path
+31 -34	metaprl/theories/itt/itt_group.ml
+9857 -9087	metaprl/theories/itt/itt_group.prla
+25 -4	metaprl/theories/itt/itt_quotient_group.ml
+2851 -632	metaprl/theories/itt/itt_quotient_group.prla