ViewVC logotype

Revision 3484

Jump to revision: Previous Next
Author: xiny
Date: Wed Jan 30 00:36:09 2002 UTC (19 years, 5 months ago)
Changed paths: 4
Log Message:
Now a workable version for groups and cyclic subgroups. Rules proved, examples  added.
Problems left:
   The proofs for rules "power_property1", "power_property2", and "power_simplify" are not yet finished because of some itt problems.

Changed paths

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

  ViewVC Help
Powered by ViewVC 1.1.26