chapter AFP

session Secret_Directed_Unwinding = Relative_Security + 
  options [timeout = 300]
  theories
    SD_Unwinding_fin
    SD_Unwinding
    SD_Incomplete_fin
    SD_Incomplete
  document_files
    "root.tex"
    "root.bib"
