]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 52af0e3) | patch
New bug exposed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 6 Sep 2005 10:25:15 +0000 (10:25 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 6 Sep 2005 10:25:15 +0000 (10:25 +0000)
commit39a701aa3ab9a3dcbeaa1dff4fcf43ea666e7f61
tree64af63aaf5c073a182c49611bbb803e30a85f296tree | snapshot
parent52af0e3a6ab827464f33b90bf0d39e5df3169499commit | diff
New bug exposed.
helm/matita/tests/elim.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.