[Added a file which imports all the other files.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20080310040453] {
addfile ./Everything.agda
hunk ./Everything.agda 1
+------------------------------------------------------------------------
+-- Imports all the files
+------------------------------------------------------------------------
+
+module Everything where
+
+import SimplyTyped.ContextExtension
+import SimplyTyped.TypeSystem
+import SimplyTyped.Substitution
+import SimplyTyped.Value
+import SimplyTyped.NormalForm
+import SimplyTyped.Model
+import SimplyTyped.Semantics
+import SimplyTyped.Normalisation
+import SimplyTyped.Environment
}