From 26e2fea33aae257440e5571fb3f7e784938403e0 Mon Sep 17 00:00:00 2001
From: Helmut Grohne <grohne@cs.uni-bonn.de>
Date: Thu, 30 Jan 2014 08:07:29 +0100
Subject: simplify compilation of the whole source

---
 Everything.agda | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 Everything.agda

(limited to 'Everything.agda')

diff --git a/Everything.agda b/Everything.agda
new file mode 100644
index 0000000..76beef6
--- /dev/null
+++ b/Everything.agda
@@ -0,0 +1,11 @@
+-- The sole purpose of this module is to ease compilation of everything.
+module Everything where
+
+import Generic
+import FinMap
+import CheckInsert
+import FreeTheorems
+import BFF
+import Bidir
+import LiftGet
+import Precond
-- 
cgit v1.2.3