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

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Wed, 29 Jan 2003 16:54:44 +0000 (16:54 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Wed, 29 Jan 2003 16:54:44 +0000 (16:54 +0000)
commit	06fb3694ba485d761586c1a90f97f15b8915a277
tree	5162414e0054d9394097197bc46e47ae3079c0d9	tree \| snapshot
parent	bec0e4eeaf1916016630dbce67213a825fce6048	commit \| diff

Generalize now works on a list of convertible terms, generalizing all of
them at once.

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