]> 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)
commitfb99d31806e06e29bed90f08f132d6e8fb758bd8
tree865a58f53a5bd773b54ea7ff2bb7f9f881842f8a
parent71b3673b0d4f5e615315ea586fc6174e898abbfc
fixed proof generation again
helm/software/components/tactics/paramodulation/equality.ml
helm/software/components/tactics/paramodulation/indexing.ml
helm/software/components/tactics/paramodulation/indexing.mli
helm/software/components/tactics/paramodulation/saturation.ml
helm/software/matita/tests/TPTP/elenco_problemi_veloci_per_test.txt [new file with mode: 0644]