]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4acb4ea) | patch
bugfix: typo which implied using the wrong pattern
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 20 Dec 2005 13:10:03 +0000 (13:10 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 20 Dec 2005 13:10:03 +0000 (13:10 +0000)
commita423d321a98c6f31dab56505fe7acf0110df38e8
treec18721886f890aa74f1aa87c4518f192c124493ctree | snapshot
parent4acb4eac82022430872b62ef38222c821b5620f3commit | diff
bugfix: typo which implied using the wrong pattern
helm/ocaml/tactics/equalityTactics.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.