chapter AFP

session PNT_with_Remainder = Prime_Number_Theorem +
  options [timeout = 1800]
  theories
    "PNT_with_Remainder"
  document_files
    "root.tex"

