Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2003-03-08 03:43:05 -0800 (Sat, 08 Mar 2003)
Revision: 4160
Log message:

       - First try of defining group homomorphism.
         I define it as a set of all group homomorphisms from G to H. Any comment?
      

Changes  Path
+10 -1 metaprl/theories/itt/itt_comment.ml
+1 -0 metaprl/theories/itt/itt_comment.mli
+27 -0 metaprl/theories/itt/itt_group.ml
+2 -0 metaprl/theories/itt/itt_group.mli
+4082 -3397 metaprl/theories/itt/itt_group.prla