chapter AFP

session Probabilistic_Timed_Automata = "Markov_Models" +
  options [timeout = 1200]
  sessions
    "Pure-ex"
    "Timed_Automata"
    "HOL-Eisbach"
  directories
    "library"
  theories [document = false]
    "library/Lib"
  theories
    "PTA"
    "PTA_Reachability"
  document_files
    "root.tex"
    "root.bib"
