]> 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)
commit682e142886bf6b67a3c4f872e8e9ec641c7253a9
tree312b8fd6d2d21dd98f2e634dfa43c8a69e3cfa66
parent88bdc70aeec4b838517931dd5882a1a26277be1d
removed equality_retrieval
helm/software/components/tactics/.depend
helm/software/components/tactics/Makefile
helm/software/components/tactics/paramodulation/equality_retrieval.ml [deleted file]
helm/software/components/tactics/paramodulation/equality_retrieval.mli [deleted file]
helm/software/components/tactics/tactics.mli