]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4a76b66) | patch
New test for parallel rewriting in the hypotheses and in the conclusion.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 17 Nov 2005 18:39:16 +0000 (18:39 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 17 Nov 2005 18:39:16 +0000 (18:39 +0000)
commit136983c7fcee33144364468672a675a6275a7b9f
treecba948e5cf88f9b69e55c03df851fb522ae94942tree | snapshot
parent4a76b661a1130ce6afcfde9305579682b5458106commit | diff
New test for parallel rewriting in the hypotheses and in the conclusion.
helm/matita/tests/rewrite.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.