]> matita.cs.unibo.it Git - helm.git/commit
added timeout parameter to auto paramodulation.
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 24 Jul 2006 10:32:14 +0000 (10:32 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 24 Jul 2006 10:32:14 +0000 (10:32 +0000)
commitf27b26f3f3d2300b11aa4d68dbe823e15ffbdf1c
tree6d58798379639f673be3bb47b4129cf0503aae80
parentd0e212dcd4bdbeaee9979e53bedd3258cd8e8d0f
added timeout parameter to auto paramodulation.
components/tactics/autoTactic.ml
components/tactics/paramodulation/saturation.ml
components/tactics/paramodulation/saturation.mli
components/tptp_grafite/tptp2grafite.ml
components/tptp_grafite/tptp2grafite.mli
matita/matitaGui.ml
matita/matitac.ml
matita/matitaprover.ml
matita/matitaprover.mli