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"