chapter AFP

session Simple_Firewall = IP_Addresses +
  options [timeout = 600]
  directories
    "Common"
    "Primitives"
  theories
    Simple_Packet
    SimpleFw_Syntax
    SimpleFw_Semantics
    Generic_SimpleFw
    Shadowed
    Service_Matrix
    SimpleFw_toString
  document_files
    "root.tex"
    "root.bib"
