ViewVC logotype

Revision 3516

Jump to revision: Previous Next
Author: xiny
Date: Mon Feb 25 02:24:42 2002 UTC (19 years, 5 months ago)
Changed paths: 3
Log Message:
Replaced equality relations with equivalence relations everywhere in the
context of groups, and re-proved the rules.

Changed paths

Path Details
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