--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/AFP-Submission/ROOT	Tue May 24 11:36:21 2016 +0100
@@ -0,0 +1,23 @@
+chapter AFP
+
+(* Session name, add to AFP group, list base session: *)
+session "Posix-Lexing" (AFP) = HOL +
+
+(* Timeout (in sec) in case of non-termination problems *)
+  options [timeout = 600]
+
+(* The top-level theories of the submission: *)
+  theories [document = false]
+     "Regular_Set" 
+     "Regular_Exp"
+     "Derivatives" 
+
+  theories
+    "Lexer" 
+    "Simplifying"
+    
+(* Dependencies on document source files: *)
+  document_files
+    "root.bib"
+    "root.tex"
+