]> matita.cs.unibo.it Git - helm.git/commit
upgraded code to work with non-default equalities
authorAlberto Griggio <griggio@fbk.eu>
Thu, 29 Sep 2005 12:25:45 +0000 (12:25 +0000)
committerAlberto Griggio <griggio@fbk.eu>
Thu, 29 Sep 2005 12:25:45 +0000 (12:25 +0000)
commitd2b3f3c816a651cbed998976a343f83cad1be69c
treeaa2e2040219885db0a2d91acf2945785a469c334
parent4a6b34934452db18cf3c1fa6e87c71c9f02d256b
upgraded code to work with non-default equalities
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
helm/ocaml/paramodulation/utils.mli