]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bd4a73c) | 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)
commitfc8e1e2ad5b37b4c60f9d73cda368f7808679f6d
tree43e83fd8a486058c21d2724b3312f410700425fetree | snapshot
parentbd4a73c6f758bd39254178dd7b313af321a5cd4bcommit | diff
fixed metaconvertibility that was completely wrong.
is_identity and is_weak_identity fixed accordingly
helm/software/components/tactics/paramodulation/equality.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.