]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 47155f2) | 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)
commit4aa1a49628876bf1d72d44537d545d1b5562df0f
tree6881bcbd41c3761d2e7339bf6caa5a040e7a1dd5tree | snapshot
parent47155f2d94c393d1140b764b927c05353d5bc26fcommit | diff
when use_only_paramod is true do not calculate the universe for applicative reasoning
helm/software/components/tactics/autoTactic.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.