1 files changed, 8 insertions, 4 deletions

diff --git a/files.txt b/files.txt
index 7fa1801..fb0b175 100644
--- a/files.txt
+++ b/files.txt
@@ -1,7 +1,11 @@
-matcher.ml
-coq.ml
-theory.ml
-aac_rewrite.ml
+AAC_coq.ml
+AAC_helper.ml
+AAC_search_monad.ml
+AAC_matcher.ml
+AAC_theory.ml
+AAC_print.ml
+AAC_rewrite.ml
 AAC.v
 Instances.v
 Tutorial.v
+Caveats.v