chapter AFP

session "ABY3_Protocols" = "CryptHOL" +
  options [timeout = 600]
  theories
    Shuffle
    Multiplication
    Multiplication_Synthesization
  document_files
    "root.bib"
    "root.tex"
