]> matita.cs.unibo.it Git - helm.git/commit
return type of paramod fixed according to the SZSOntology
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 2 Jul 2009 10:57:00 +0000 (10:57 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 2 Jul 2009 10:57:00 +0000 (10:57 +0000)
commit2ec39afa1b8aaad13d8f5460bccf7119f45788c5
treec5fd67f1f2ecd9da7747e5e5a73fe8a5e223ac9a
parent9f3a23fd1a0a65957c8126716c0c6c045051f70c
return type of paramod fixed according to the SZSOntology
helm/software/components/ng_paramodulation/nCicParamod.ml
helm/software/components/ng_paramodulation/paramod.ml
helm/software/components/ng_paramodulation/paramod.mli