chapter AFP

session Relational_Method = "HOL" +
  description \<open>The Relational Method with Message Anonymity for the Verification of Cryptographic Protocols\<close>
  options [timeout = 600]
  theories
    Definitions
    Authentication
    Anonymity
    Possibility
  document_files
    "root.bib"
    "root.tex"