]> matita.cs.unibo.it Git - helm.git/commit
Exporting the demodulation function.
authorAndrea Asperti <andrea.asperti@unibo.it>
Thu, 18 Mar 2010 11:22:11 +0000 (11:22 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Thu, 18 Mar 2010 11:22:11 +0000 (11:22 +0000)
commit8c678be0b7ee11a60f21b002553cc414f1d18267
tree6a2ba0be89ac86f0151b1be6a3878e6093e32b79
parent50d12d683b3f1fb9739b1308ca7f328e3e382f1b
Exporting the demodulation function.
helm/software/components/ng_paramodulation/nCicParamod.ml
helm/software/components/ng_paramodulation/nCicParamod.mli
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