Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2002-05-26 03:22:43 -0700 (Sun, 26 May 2002)
Revision: 3693
Log message:
Changed the definition of the carrier in cyclic subgroups/groups from
collection to separation. The reason for this is that we should always
try to use set primitives rather than collections.
Updated corresponding rules and proofs.
Also made some minor changes in comments.