]> matita.cs.unibo.it Git - helm.git/commit
fixed proof generation again
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 30 May 2006 10:44:55 +0000 (10:44 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 30 May 2006 10:44:55 +0000 (10:44 +0000)
commit027d780050fc28643896c08cc82fd47e30835a76
tree072e09f994dba7a167efbb7cd80900a1a85d38c3
parentd2a9e9b78b214663fb0e21eed95b21c5ab7119c6
fixed proof generation again
components/tactics/paramodulation/equality.ml
components/tactics/paramodulation/indexing.ml
components/tactics/paramodulation/indexing.mli
components/tactics/paramodulation/saturation.ml
matita/tests/TPTP/elenco_problemi_veloci_per_test.txt [new file with mode: 0644]