]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9071c21) | patch
Bug fixed: "by ... we proved ... that is equivalent to ...": the is equivalent
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 8 Sep 2006 15:29:40 +0000 (15:29 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 8 Sep 2006 15:29:40 +0000 (15:29 +0000)
commit73663b52b3e1d8ed2f5936177bcc13b6e6b69997
tree77ca849335f5690f23f9069893ca5c042e1adb31tree | snapshot
parent9071c21f5a7a309fe09d44e68d86ac996028167ecommit | diff
Bug fixed: "by ... we proved ... that is equivalent to ...": the is equivalent
to part was not considered because of a stupid typo.
helm/software/components/tactics/declarative.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.