chapter AFP

session "Kuratowski_Closure_Complement" = "HOL-Analysis" +
  options [timeout = 300]
  theories
    KuratowskiClosureComplementTheorem
  document_files
    root.bib
    root.tex
