chapter AFP

session Constructive_Cryptography = CryptHOL +
  options [timeout = 1500]
  directories
    "Examples"
    "Examples/Secure_Channel"
  theories
    Constructive_Cryptography
    "Examples/Examples"
  document_files
    "root.tex"
    "root.bib"
