]> matita.cs.unibo.it Git - helm.git/commit
garbage collection of dead equalities implemented
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 20 Jun 2006 12:59:42 +0000 (12:59 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 20 Jun 2006 12:59:42 +0000 (12:59 +0000)
commit54632bfcefb8f9cf2265b27196207b2786e84927
treec763d8f76b0ba757c4b6376f98bac29f9bf2cb87
parent218d9cfaa1e2874b62c3e08adf98c4f9a85d2c11
garbage collection of dead equalities implemented
components/tactics/paramodulation/equality.ml
components/tactics/paramodulation/equality.mli
components/tactics/paramodulation/saturation.ml