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