]> matita.cs.unibo.it Git - helm.git/commit
bugfix on proof construction
authorAlberto Griggio <griggio@fbk.eu>
Wed, 21 Sep 2005 12:03:32 +0000 (12:03 +0000)
committerAlberto Griggio <griggio@fbk.eu>
Wed, 21 Sep 2005 12:03:32 +0000 (12:03 +0000)
commitc1a270db687e5cea3410b10634728c6ec57d2caa
treefcafb634081585f626a10d314cec2adf58518368
parentcfda0acfce3f5e0b843bfe2b7ba7c371e5690db0
bugfix on proof construction
helm/ocaml/paramodulation/Makefile
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