Changes by: Xin Yu (xiny at cs.caltech.edu) Date: 2003-04-03 03:19:38 -0800 (Thu, 03 Apr 2003) Revision: 4379 Log message:
Defined subgroup; Updated some proofs. Need to work more on this tomorrow.