]> matita.cs.unibo.it Git - helm.git/commit
fixes (mainly) to demodulation and meta_convertibility
authorAlberto Griggio <griggio@fbk.eu>
Sun, 15 May 2005 12:08:59 +0000 (12:08 +0000)
committerAlberto Griggio <griggio@fbk.eu>
Sun, 15 May 2005 12:08:59 +0000 (12:08 +0000)
commitd8c8060ad0cfc9b93ce919b6662383a230192840
treee3b54a9c5e7e9d26ff336feb8e4d0993adc51211
parent58dc98ecc3943c9945dee039fe03e1344cc60e4f
fixes (mainly) to demodulation and meta_convertibility
helm/ocaml/paramodulation/.cvsignore
helm/ocaml/paramodulation/inference.ml
helm/ocaml/paramodulation/inference.mli
helm/ocaml/paramodulation/saturation.ml
helm/ocaml/paramodulation/utils.ml
helm/ocaml/paramodulation/utils.mli