]> matita.cs.unibo.it Git - helm.git/commit - helm/ocaml/paramodulation/Makefile
proofs are now built lazily at the end of the computation
authorAlberto Griggio <griggio@fbk.eu>
Thu, 30 Jun 2005 16:05:34 +0000 (16:05 +0000)
committerAlberto Griggio <griggio@fbk.eu>
Thu, 30 Jun 2005 16:05:34 +0000 (16:05 +0000)
commitc9d7e6a946744890def5b5471c93b4dbd78c4ac9
tree5e02bcd02cfc827023be16fc662cf927f948f7cc
parent624907fead9047f23557374788c5767b6289dd7c
proofs are now built lazily at the end of the computation
helm/ocaml/paramodulation/Makefile
helm/ocaml/paramodulation/indexing.ml
helm/ocaml/paramodulation/inference.ml
helm/ocaml/paramodulation/inference.mli
helm/ocaml/paramodulation/saturation.ml