]> matita.cs.unibo.it Git - helm.git/commit
added some typechecks to avoid using equations with the wrong type
authorAlberto Griggio <griggio@fbk.eu>
Thu, 21 Jul 2005 21:37:52 +0000 (21:37 +0000)
committerAlberto Griggio <griggio@fbk.eu>
Thu, 21 Jul 2005 21:37:52 +0000 (21:37 +0000)
commitcb983fed69f0d209e19e22f3abcac5041f5f4a63
treec59374376b93e6ec31f6edc21b7f43374791827b
parent575fd8b6044d87cd7116b0dc3cd695e790f7b152
added some typechecks to avoid using equations with the wrong type
helm/ocaml/paramodulation/indexing.ml
helm/ocaml/paramodulation/inference.ml
helm/ocaml/paramodulation/saturation.ml
helm/ocaml/paramodulation/utils.ml
helm/ocaml/paramodulation/utils.mli