ViewVC logotype

Revision 3535

Jump to revision: Previous Next
Author: xiny
Date: Mon Mar 11 09:57:39 2002 UTC (19 years, 4 months ago)
Changed paths: 2
Log Message:
Added the elimination form of the unique inverse rule.

Changed paths

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