1 files changed, 28 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject
new file mode 100644
index 0000000..f803b8d
--- /dev/null
+++ b/_CoqProject
@@ -0,0 +1,28 @@
+-Q theories AAC_tactics
+-Q src AAC_tactics
+-I src
+
+-arg -w -arg +default
+
+src/coq.mli
+src/helper.mli
+src/search_monad.mli
+src/matcher.mli
+src/theory.mli
+src/print.mli
+src/aac_rewrite.mli
+src/coq.ml
+src/helper.ml
+src/search_monad.ml
+src/matcher.ml
+src/theory.ml
+src/print.ml
+src/aac_rewrite.ml
+src/aac.ml4
+src/aac_plugin.mlpack
+
+theories/Utils.v
+theories/AAC.v
+theories/Instances.v
+theories/Tutorial.v
+theories/Caveats.v