]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d030f02) | patch
added to rewrite a check to effectively do something, and fail if nothing has been...
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 1 Apr 2008 12:40:50 +0000 (12:40 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 1 Apr 2008 12:40:50 +0000 (12:40 +0000)
commit04858c4692eb584390fb53c7034ed7618431a9c0
tree1ed25ef04958c439080c6fb34c982941672a2afetree | snapshot
parentd030f02fa8a708cd663ffd0c5783770906b9b21acommit | diff
added to rewrite a check to effectively do something, and fail if nothing has been rewritten.
helm/software/components/tactics/equalityTactics.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.