chapter AFP

session CoCon = "Bounded_Deducibility_Security" +
  options [timeout = 3600]
  sessions
    Fresh_Identifiers
  directories
    Decision_Confidentiality
    Discussion_Confidentiality
    Paper_Confidentiality
    Review_Confidentiality
    Reviewer_Assignment_Confidentiality
  theories
    System_Specification
    All_BD_Security_Instances_for_CoCon
  document_files
    "root.tex"
    "root.bib"
