]> matita.cs.unibo.it Git - helm.git/commit
some fixes
authorAlberto Griggio <griggio@fbk.eu>
Mon, 22 Aug 2005 14:25:54 +0000 (14:25 +0000)
committerAlberto Griggio <griggio@fbk.eu>
Mon, 22 Aug 2005 14:25:54 +0000 (14:25 +0000)
commitd622a1ce338d9db774ddc8b98fa58cdcec7b22e5
treedc4d5716a88720eb2ffe89aee4216c7a7e53e725
parent6a4211ed13cc30ee53f52d0a8f5ef01b45e10647
some fixes
helm/ocaml/paramodulation/indexing.ml
helm/ocaml/paramodulation/inference.ml
helm/ocaml/paramodulation/saturate_main.ml
helm/ocaml/paramodulation/saturation.ml
helm/ocaml/paramodulation/utils.ml
helm/ocaml/paramodulation/utils.mli