]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7da6add) | patch
The rewrite_* set of tactics is now working again. However, as before,
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 30 Jun 2005 14:20:20 +0000 (14:20 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 30 Jun 2005 14:20:20 +0000 (14:20 +0000)
commit9f8a383035b272c628c555b728e84caf9229cd57
treee53bf871c5a0e42e089b5a10b6c90bad7fa076f5tree | snapshot
parent7da6adde34e87f3ed5cf7a83215955c45ed7ea5acommit | diff
The rewrite_* set of tactics is now working again. However, as before,
they do not work yet when the user asks to rewrite somethign also in the
hypotheses.
helm/ocaml/tactics/equalityTactics.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.