Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2002-02-18 20:19:26 -0800 (Mon, 18 Feb 2002)
Revision: 3502
Log message:
Changed the definitions of cyclic subgroups and cyclic groups where
they both have the type "set". I'm considering defining them as
"types". So the properties are not proven in this commission. I commit
them only to enable metaprl to compile.