chapter AFP

session "Posix-Lexing" = "Regular-Sets" +

  options [timeout = 900]

  directories
    "Extensions"
    
  theories
    Lexer
    LexicalVals
    Simplifying
    Positions
    "Extensions/Regular_Exps3"
    "Extensions/Derivatives3"
    "Extensions/Lexer3"
    "Extensions/LexicalVals3"
    "Extensions/Simplifying3"
    "Extensions/Positions3"
    
  document_files
    "root.bib"
    "root.tex"