]> 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)
commit2b4dcaef8f1bef33eeb27e760a1fe518a58edc8a
tree1484dad2f4f84cd1089713b8e6c19ca3e0363fd3
parentea1aa65dfc4a9ecad0793ca9ba708172dddd6fa0
new pp function for proofs
helm/software/components/tactics/paramodulation/equality.ml
helm/software/components/tactics/paramodulation/equality.mli
helm/software/components/tactics/paramodulation/saturation.ml