]> matita.cs.unibo.it Git - helm.git/commit
new paramodulation
authorAlberto Griggio <griggio@fbk.eu>
Mon, 26 Sep 2005 15:11:43 +0000 (15:11 +0000)
committerAlberto Griggio <griggio@fbk.eu>
Mon, 26 Sep 2005 15:11:43 +0000 (15:11 +0000)
commitc3af85c9492385a7a0de0f5aa57df241ee0bd553
tree92515dbf1d38fe27e372e17f034eaef7e5b73660
parent28ac70d3f475442cda4ef30e0e9c0e6d012b2527
new paramodulation
helm/ocaml/paramodulation/Makefile
helm/ocaml/paramodulation/indexing.ml
helm/ocaml/paramodulation/inference.ml
helm/ocaml/paramodulation/inference.mli
helm/ocaml/paramodulation/saturate_main.ml
helm/ocaml/paramodulation/saturation.ml
helm/ocaml/paramodulation/utils.ml