1 files changed, 0 insertions, 23 deletions

diff --git a/Make b/Make
deleted file mode 100644
index 3804332..0000000
--- a/Make
+++ /dev/null
@@ -1,23 +0,0 @@
--I .
--R . AAC_tactics
-
-coq.mli
-helper.mli
-search_monad.mli
-matcher.mli
-theory.mli
-print.mli
-aac_rewrite.mli
-coq.ml
-helper.ml
-search_monad.ml
-matcher.ml
-theory.ml
-print.ml
-aac_rewrite.ml4
-aac.mlpack
-
-AAC.v
-Instances.v
-Tutorial.v
-Caveats.v