]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0d6973b) | patch
when use_only_paramod is true do not calculate the universe for applicative reasoning
authorEnrico Tassi <enrico.tassi@inria.fr>
Sun, 1 Oct 2006 13:02:29 +0000 (13:02 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sun, 1 Oct 2006 13:02:29 +0000 (13:02 +0000)
commitde74308340f4f94763b34e2f0b8d404886d109c2
tree95807e1e643c0af8a3ca20c3c36ebdc31075957ftree | snapshot
parent0d6973b9a2130071e96f1260be78e30d709b2180commit | diff
when use_only_paramod is true do not calculate the universe for applicative reasoning
components/tactics/autoTactic.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.