]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2d214ee) | patch
fixed metaconvertibility that was completely wrong.
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 29 Sep 2006 17:07:53 +0000 (17:07 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 29 Sep 2006 17:07:53 +0000 (17:07 +0000)
commit3c14f9280a8a843b3caefe67df27272f9afe0a81
treecf52f2e4d30649c192af6de62769b34b1b908ed1tree | snapshot
parent2d214ee70ded43aafea0eb54dfd9c0f7c1f64478commit | diff
fixed metaconvertibility that was completely wrong.
is_identity and is_weak_identity fixed accordingly
components/tactics/paramodulation/equality.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.