]> 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)
commit31513dcd96791a28cb0f7667c7bbdb172b33864e
treeceb2d0b33105ccd3ef6d51b8828a4202e53acffe
parent0fe1347ecafd65a4be26f85595032653f81d1ab3
garbage collection of dead equalities implemented
helm/software/components/tactics/paramodulation/equality.ml
helm/software/components/tactics/paramodulation/equality.mli
helm/software/components/tactics/paramodulation/saturation.ml