]> matita.cs.unibo.it Git - helm.git/commit
now proofs have the correct type :-)
authorAlberto Griggio <griggio@fbk.eu>
Mon, 11 Jul 2005 18:24:43 +0000 (18:24 +0000)
committerAlberto Griggio <griggio@fbk.eu>
Mon, 11 Jul 2005 18:24:43 +0000 (18:24 +0000)
commit22d39afadb3027477e4a42c315ec10518cbf47ed
tree061c1c6b1001a006a4de16ed8def208264c3bd96
parent8146c38b7a6658c03fcf825ba7dd25b7c824f499
now proofs have the correct type :-)
helm/ocaml/paramodulation/indexing.ml
helm/ocaml/paramodulation/inference.ml
helm/ocaml/paramodulation/inference.mli
helm/ocaml/paramodulation/saturation.ml
helm/ocaml/paramodulation/test_indexing.ml