1 chapter AFP

     2 

     3 (* Session name, add to AFP group, list base session: *)

     4 session "Posix-Lexing" (AFP) = HOL +

     5 

     6 (* Timeout (in sec) in case of non-termination problems *)

     7   options [timeout = 600]

     8 

     9 (* The top-level theories of the submission: *)

    10   theories [document = false]

    11      "Regular_Set" 

    12      "Regular_Exp"

    13      "Derivatives" 

    14 

    15   theories

    16     "Lexer" 

    17     "Simplifying"

    18     

    19 (* Dependencies on document source files: *)

    20   document_files

    21     "root.bib"

    22     "root.tex"

    23