From cdef2ec797c086b089700875469d87e309ddea02 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Anders=20M=C3=B6rtberg?= <mortberg@chalmers.se>
Date: Tue, 21 Apr 2015 10:10:31 +0200
Subject: [PATCH] Add testall

---
 examples/testall.ctt | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 examples/testall.ctt

diff --git a/examples/testall.ctt b/examples/testall.ctt
new file mode 100644
index 0000000..33c8160
--- /dev/null
+++ b/examples/testall.ctt
@@ -0,0 +1,17 @@
+module testall where
+
+import gradLemma
+import interval
+import uafunext2
+import helix
+import susp
+import ex1
+import integer
+import setTrunc
+import newhedberg
+import prop
+import quotient
+import torus
+import s2
+import uafunext1
+import list
\ No newline at end of file
-- 
2.34.1