]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2da3c84) | patch
if paramodulation fails, go on with the normal auto...
authorAlberto Griggio <griggio@fbk.eu>
Thu, 21 Jul 2005 20:34:55 +0000 (20:34 +0000)
committerAlberto Griggio <griggio@fbk.eu>
Thu, 21 Jul 2005 20:34:55 +0000 (20:34 +0000)
commit577cd769f88edc9aa851f117df7f83909c95a06c
tree895fc89bdc4da5030e3b05f49a02bc7485ba958etree | snapshot
parent2da3c84c4badb8e6836e9dd6efe7e0d524234b28commit | diff
if paramodulation fails, go on with the normal auto...
helm/ocaml/tactics/autoTactic.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.