From: Anders Mörtberg <mortberg@chalmers.se>
Date: Tue, 21 Apr 2015 08:10:31 +0000 (+0200)
Subject: Add testall
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=cdef2ec797c086b089700875469d87e309ddea02;p=cubicaltt.git

Add testall
---

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