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: b284579) | patch

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Sun, 8 Jun 2008 13:44:20 +0000 (13:44 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Sun, 8 Jun 2008 13:44:20 +0000 (13:44 +0000)
commit	36842ee77114d2fa896d7ffd2333c07cff22b053
tree	16ece7d4bae37d6cbd89863d9ee006eeb12b9146	tree \| snapshot
parent	b284579a0c4d45bc8483f295434a465ca685f444	commit \| diff

Hypotheses patterns for elim implemented. No more need to generalize in advance.

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