]> 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)
commit4ab3123d6a8e5080009d7b471b0cefd05f4817ed
treeeb9cd6730cc6b961d3f2eca42982741d7d031707
parent0a50912f2577243a1f9e4068b02877b8e61181c9
added timeout parameter to auto paramodulation.
helm/software/components/tactics/autoTactic.ml
helm/software/components/tactics/paramodulation/saturation.ml
helm/software/components/tactics/paramodulation/saturation.mli
helm/software/components/tptp_grafite/tptp2grafite.ml
helm/software/components/tptp_grafite/tptp2grafite.mli
helm/software/matita/matitaGui.ml
helm/software/matita/matitac.ml
helm/software/matita/matitaprover.ml
helm/software/matita/matitaprover.mli