acic_procedural and tactics removed

[helm.git] / matita / components / tactics / paramodulation / Makefile

diff --git a/matita/components/tactics/paramodulation/Makefile b/matita/components/tactics/paramodulation/Makefile
deleted file mode 100644 (file)
index 2f3afa5..0000000
--- a/matita/components/tactics/paramodulation/Makefile
+++ /dev/null
@@ -1,6 +0,0 @@
-all:
-       @make -C .. $@
-
-%:
-       @make -C .. $@
-