From 9e28c50232e56e35437afb468c6d273abcf5eab5 Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Wed, 1 Dec 2010 11:53:25 +0100
Subject: Imported Upstream version 0.2

---
 files.txt | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

(limited to 'files.txt')

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
-- 
cgit v1.2.3