]> matita.cs.unibo.it Git - helm.git/commit
goal demodulated with new
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 4 May 2006 15:15:47 +0000 (15:15 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 4 May 2006 15:15:47 +0000 (15:15 +0000)
commitf820f75a0b94bcc6b6d31c9471c8921ce098427d
treef3043cc124ee8ae18e5dc1e8e0f9bf564debbc96
parent6421979dbececb04f6ab0d3534f2489d7f151c5f
goal demodulated with new
components/tactics/paramodulation/equality.ml
components/tactics/paramodulation/equality.mli
components/tactics/paramodulation/indexing.ml
components/tactics/paramodulation/saturation.ml