chapter AFP

session "S_Finite_Measure_Monad" = "Standard_Borel_Spaces" +
  options [timeout = 600]
  theories
    "Lemmas_S_Finite_Measure_Monad"
    "Kernels"
    "QuasiBorel"
    "QBS_Morphism"
    "Measure_QuasiBorel_Adjunction"
    "Monad_QuasiBorel"
    "Montecarlo"
    "Query"
  document_files
    "root.tex"
    "root.bib"
