[Added Everything.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20101115131901
 Ignore-this: 56416cba006080642af1baecc88d0677
] addfile ./Everything.agda
hunk ./Everything.agda 1
+------------------------------------------------------------------------
+-- A file which imports all the others
+------------------------------------------------------------------------
+
+module Everything where
+
+import ApplicationBased
+import CompositionBased
+import DanvyFirstAttempt
+import Derivation
+import Exceptions
+import HuttonsRazor
+import MultiComposition
+import NotStructurallyRecursive
+import NotStructurallyRecursive.Lemmas
+import NotStructurallyRecursive
+import ReverseComposition
+import Wand
+import Wand2