]> matita.cs.unibo.it Git - helm.git/commit
added some code to print the praamodulation proofs with a graph
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 19 Feb 2007 22:03:09 +0000 (22:03 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 19 Feb 2007 22:03:09 +0000 (22:03 +0000)
commitf809c7537eda20a275b17bc1407f0ee446f70356
treef4ad7fe3c4ee41be7453835810dd0454cb900fe5
parentb7503f874120f581c9679deabe45bd3c333f1b0c
added some code to print the praamodulation proofs with a graph
helm/software/components/tactics/paramodulation/equality.ml
helm/software/components/tactics/paramodulation/equality.mli
helm/software/components/tactics/paramodulation/saturation.ml