--- a/AFP-Submission/ROOT	Tue Jun 14 12:37:46 2016 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,23 +0,0 @@
-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"
-