]> matita.cs.unibo.it Git - helm.git/commit
new pp function for proofs
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 4 May 2006 10:55:15 +0000 (10:55 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 4 May 2006 10:55:15 +0000 (10:55 +0000)
commit6421979dbececb04f6ab0d3534f2489d7f151c5f
tree24623ef8b5058d606c96462eb684800590fb59aa
parent57f678d84d02772bfe36301d2f367c2382583f16
new pp function for proofs
components/tactics/paramodulation/equality.ml
components/tactics/paramodulation/equality.mli
components/tactics/paramodulation/saturation.ml