Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2001-09-14 00:00:13 -0700 (Fri, 14 Sep 2001)
Revision: 3379
Log message:

      Definition of algebraic group.
      

Changes	Path
Added	metaprl/theories/czf/czf_itt_group.ml
Properties	metaprl/theories/czf/czf_itt_group.ml
Added	metaprl/theories/czf/czf_itt_group.mli
Properties	metaprl/theories/czf/czf_itt_group.mli
Added	metaprl/theories/czf/czf_itt_group.prla
Properties	metaprl/theories/czf/czf_itt_group.prla