/[mojave]
ViewVC logotype

Revision 3404


Jump to revision: Previous Next
Author: xiny
Date: Sun Sep 23 07:25:28 2001 UTC (19 years, 10 months ago)
Changed paths: 16
Log Message:
1. Minor changes in czf_itt_group;
2. Define subgroup and abelian group;
3. Define cyclic subgroup and cyclic group. However, there are
   problems with the proofs in czf_itt_cyclic_subgroup.


Changed paths

Path Details
Directorymetaprl/theories/czf/Makefile modified , text changed
Directorymetaprl/theories/czf/czf_itt_abel_group.ml added
Directorymetaprl/theories/czf/czf_itt_abel_group.mli added
Directorymetaprl/theories/czf/czf_itt_abel_group.prla added
Directorymetaprl/theories/czf/czf_itt_cyclic_group.ml added
Directorymetaprl/theories/czf/czf_itt_cyclic_group.mli added
Directorymetaprl/theories/czf/czf_itt_cyclic_group.prla added
Directorymetaprl/theories/czf/czf_itt_cyclic_subgroup.ml added
Directorymetaprl/theories/czf/czf_itt_cyclic_subgroup.mli added
Directorymetaprl/theories/czf/czf_itt_cyclic_subgroup.prla added
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
Directorymetaprl/theories/czf/czf_itt_subgroup.ml added
Directorymetaprl/theories/czf/czf_itt_subgroup.mli added
Directorymetaprl/theories/czf/czf_itt_subgroup.prla added

  ViewVC Help
Powered by ViewVC 1.1.26