[Listed the files in dependency order, added descriptions.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20080311173234] {
hunk ./Everything.agda 7
-import SimplyTyped.ContextExtension
+-- The files are listed in dependency order.
+
+-- The type system.
+
+import SimplyTyped.TypeSystem
+
+-- Models.
+
+import SimplyTyped.Model
+
+-- Environments.
+
hunk ./Everything.agda 20
+
+-- Evaluating terms.
+
hunk ./Everything.agda 24
-import SimplyTyped.Model
-import SimplyTyped.NormalForm
-import SimplyTyped.Normalisation
+
+-- Context extensions.
+
+import SimplyTyped.ContextExtension
+
+-- Substitutions.
+
hunk ./Everything.agda 32
-import SimplyTyped.TypeSystem
+
+-- Normal forms.
+
+import SimplyTyped.NormalForm
+
+-- Values.
+
hunk ./Everything.agda 41
+-- Normalisation.
+
+import SimplyTyped.Normalisation
+
}