author | Christian Urban <christian dot urban at kcl dot ac dot uk> |
Tue, 24 May 2016 11:36:21 +0100 | |
changeset 191 | 6bb15b8e6301 |
permissions | -rw-r--r-- |
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"