]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 51c0866) | patch
removed bad guard that was always false (assert false in the line above)
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 29 Sep 2006 17:07:06 +0000 (17:07 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 29 Sep 2006 17:07:06 +0000 (17:07 +0000)
commit2d214ee70ded43aafea0eb54dfd9c0f7c1f64478
tree0a9ccbfbc6a991f1f7008f1ab3b58365426de22atree | snapshot
parent51c08664500a2da69644dc168da5d07f279ca992commit | diff
removed bad guard that was always false (assert false in the line above)
components/tactics/paramodulation/indexing.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.