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

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Wed, 29 Jan 2003 13:20:00 +0000 (13:20 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Wed, 29 Jan 2003 13:20:00 +0000 (13:20 +0000)
commit	146f8a58cd8c9aebe3d49df7f09e921f43c0c0e8
tree	095442765e995e3368c0d6effde2392111cef89c	tree \| snapshot
parent	a13f87720761d95ab36b49284e7530bbd7e694ff	commit \| diff

All the reduction tactics have been modified to reduce several (sub)terms
at once.

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