]> matita.cs.unibo.it Git - helm.git/commit
added optional "paramodulation" parameter to auto to turn on paramodulation
authorAlberto Griggio <griggio@fbk.eu>
Fri, 22 Jul 2005 17:53:47 +0000 (17:53 +0000)
committerAlberto Griggio <griggio@fbk.eu>
Fri, 22 Jul 2005 17:53:47 +0000 (17:53 +0000)
commitee69e02cdf70e8fed61c3bf1c8f165b4798ad9fb
tree9e7d3b4333305d0230e14ac8c451d0d07e343ec3
parentd43002dfc61afac676ea14bc6a1418e5ec0e3e9c
added optional "paramodulation" parameter to auto to turn on paramodulation
helm/matita/matita.ml
helm/matita/matitaEngine.ml
helm/matita/matitaGui.ml
helm/matita/matitac.ml
helm/matita/tests/paramodulation.ma