1 files changed, 21 insertions, 0 deletions

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