]> 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)
commitcfbcef4637ff26ac4dfefe41bf2df29222e80138
tree6897e09c1ac2bf8b36e7570e738129357faefb21
parentb0b69bb764af48d7f022477398f0beff5fb3f3f3
added some code to print the praamodulation proofs with a graph
components/tactics/paramodulation/equality.ml
components/tactics/paramodulation/equality.mli
components/tactics/paramodulation/saturation.ml