]> matita.cs.unibo.it Git - helm.git/commit
Final subst returned by superposition and passed around.
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 18 Dec 2009 08:53:10 +0000 (08:53 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 18 Dec 2009 08:53:10 +0000 (08:53 +0000)
commitdce1bca274f93a3bddcc0f6b04cbf126ccff42b0
tree92881ea7c10ff7a6edce1d786a6a3e82bd12ffd4
parent86a273d0b145e058baf50b6e97fcb0dc0adc90e3
Final subst returned by superposition and passed around.
helm/software/components/ng_paramodulation/foUtils.ml
helm/software/components/ng_paramodulation/nCicParamod.ml
helm/software/components/ng_paramodulation/nCicProof.ml
helm/software/components/ng_paramodulation/nCicProof.mli
helm/software/components/ng_paramodulation/paramod.ml
helm/software/components/ng_paramodulation/paramod.mli
helm/software/components/ng_paramodulation/superposition.ml
helm/software/components/ng_paramodulation/superposition.mli