]> matita.cs.unibo.it Git - helm.git/commit
removed equality_retrieval
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 24 Oct 2006 08:02:02 +0000 (08:02 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 24 Oct 2006 08:02:02 +0000 (08:02 +0000)
commit465925337322a7295ef65e3ba73b2aa7ccb230bd
treeb7fa69ef653094141ec4ead7679753af9780eaf8
parent1bcda15a929c4f5211250d83403ca727948e9a51
removed equality_retrieval
components/tactics/.depend
components/tactics/Makefile
components/tactics/paramodulation/equality_retrieval.ml [deleted file]
components/tactics/paramodulation/equality_retrieval.mli [deleted file]
components/tactics/tactics.mli