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"+
−
+
−