chapter AFP

session Routing = Simple_Firewall +
  options [timeout = 300]
  sessions
    "Pure-ex"
  theories
    Routing_Table
    Linux_Router
    IpRoute_Parser
    Linorder_Helper
    (*Dependencies: RoutingIpAssmt depends on Iptables_Semantics and is thus in another session*)
  document_files
    "root.tex"
