ViewVC logotype

Revision 3494

Jump to revision: Previous Next
Author: xiny
Date: Thu Feb 7 23:19:33 2002 UTC (19 years, 5 months ago)
Changed paths: 3
Log Message:
Removed tactics "op_assoc1T", "op_assoc2T" (previously as comments),
and "id_elim2T".

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