Add testall

diff --git a/examples/testall.ctt b/examples/testall.ctt
new file mode 100644 (file)
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