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 |