chapter AFP

session LOFT = Iptables_Semantics +
  options [timeout = 1200]
  sessions
    "Pure-ex"
  directories
    "Examples/OF_conv_test"
    "Examples/RFC2544"
  theories [document = false]
    OpenFlow_Helpers (* just some helper lemmas *)
    List_Group
    Sort_Descending
  theories
    OpenFlow_Action
    OpenFlow_Matches
    OpenFlow_Serialize
    Semantics_OpenFlow
    Featherweight_OpenFlow_Comparison
    LinuxRouter_OpenFlow_Translation
    "Examples/OF_conv_test/OF_conv_test"
    "Examples/RFC2544/RFC2544"
    OpenFlow_Documentation
  document_files
    "root.tex"
    "chap3.tex"
    "root.bib"
    "moeptikz.sty"
    "bench.csv"