]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2b635ef) | patch
auto always uses the context (even if paramodulation) to try to close goals left...
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 2 Oct 2006 15:19:25 +0000 (15:19 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 2 Oct 2006 15:19:25 +0000 (15:19 +0000)
commit2891805f46435d70ef14e81cc2df7c729fe258ad
treef32afd2f3e8745d53fc05c52dc03268507e723a0tree | snapshot
parent2b635ef37ea18619199fbadcdab61fc9184995ddcommit | diff
auto always uses the context (even if paramodulation) to try to close goals left open by paramod
helm/software/components/tactics/autoTactic.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.