diff -r 2585e2a7a7ab -r 5c063eeda622 AFP-Submission/ROOT --- 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" -