]> matita.cs.unibo.it Git - helm.git/commit
adding library support (not ready yet)
authorAlberto Griggio <griggio@fbk.eu>
Mon, 18 Jul 2005 09:15:55 +0000 (09:15 +0000)
committerAlberto Griggio <griggio@fbk.eu>
Mon, 18 Jul 2005 09:15:55 +0000 (09:15 +0000)
commitb24260fd5c00791ad04042405e3942f288f54ab2
treea049f5c55f5fe663e9295bceb978cea43440eb5b
parent9037b899d25db7e09e90e9b4689f073f0dc4c729
adding library support (not ready yet)
helm/ocaml/paramodulation/inference.ml
helm/ocaml/paramodulation/inference.mli
helm/ocaml/paramodulation/saturation.ml
helm/ocaml/paramodulation/test_indexing.ml