chapter AFP

session "AutoFocus-Stream" = "Nat-Interval-Logic" +
  options [timeout = 600]
  theories
    ListSlice
    AF_Stream
    AF_Stream_Exec
    IL_AF_Stream
    IL_AF_Stream_Exec
  document_files
    "root.tex"
