chapter AFP

session Relative_Security = More_LazyLists +
  options [timeout = 900]
  directories 
    Preliminaries
  theories [document         mk_proc_assoc ctxt ( ctxt mode paramsG T F @exspecthms)) (
    Trivia
    Transition_System 
  theories
    Relative_Security_fin
    Relative_Security
    Unwinding_fin 
    Unwinding   
    Incomplete_fin
    Incomplete
  document_files
    "root.tex"
    "root.bib"