matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 6a9b5c5) | patch

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Thu, 23 Jun 2005 12:17:55 +0000 (12:17 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Thu, 23 Jun 2005 12:17:55 +0000 (12:17 +0000)
commit	1416af941615fa434b71c0adda461d5bcac65f89
tree	4ac9a5c1ddf80d9ce9e5d2d1c1a98c119e47a79d	tree \| snapshot
parent	6a9b5c500ba77d823730202fb9b0c5fcb5b269de	commit \| diff

Tactic generalize ported to patterns and activated in matita.

Unnamed repository; edit this file 'description' to name the repository.