From 8917ab003a9b7f2abf8e399b5e7ad013b31a2e0e Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Thu, 20 Sep 2012 09:41:14 +0200
Subject: Imported Upstream version 0.3

---
 aac.mlpack | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 aac.mlpack

(limited to 'aac.mlpack')

diff --git a/aac.mlpack b/aac.mlpack
new file mode 100644
index 0000000..0c12567
--- /dev/null
+++ b/aac.mlpack
@@ -0,0 +1,7 @@
+Coq
+Helper
+Search_monad
+Matcher
+Theory
+Print
+Rewrite
-- 
cgit v1.2.3