]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 58fa214) | 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)
commit0a4212d6515904147c7c26ff5b976739c64278de
tree324843542b21d9a40ebb1f3c906b90ec9f87b9c5tree | snapshot
parent58fa214788e29e3eef8a66f9d2c0b7cdaed81aa9commit | diff
Bug fixed: "by ... we proved ... that is equivalent to ...": the is equivalent
to part was not considered because of a stupid typo.
components/tactics/declarative.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.