ViewVC logotype

Revision 3498

Jump to revision: Previous Next
Author: xiny
Date: Sun Feb 17 02:09:08 2002 UTC (19 years, 5 months ago)
Changed paths: 6
Log Message:
Changed the definition of groups completely.
The former version is awkward for defining specific groups like
<Z, +> and is lack of generality since only ONE general group is
The current version adopts a parameter which makes it capable of
handling complicated situations.

Changed paths

Path Details
Directorymetaprl/theories/czf/czf_itt_abel_group.ml modified , text changed
Directorymetaprl/theories/czf/czf_itt_abel_group.mli modified , text changed
Directorymetaprl/theories/czf/czf_itt_abel_group.prla modified , text changed
Directorymetaprl/theories/czf/czf_itt_group.ml modified , text changed
Directorymetaprl/theories/czf/czf_itt_group.mli modified , text changed
Directorymetaprl/theories/czf/czf_itt_group.prla modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.26