chapter AFP

session Monad_Normalisation = "HOL-Probability" +
  options [timeout = 300]
  theories
    Monad_Normalisation
    Monad_Normalisation_Test
  document_files
    root.tex
    root.bib
