chapter AFP

session "Group-Ring-Module" = "HOL-Library" +
  options [timeout = 1200]
  theories
    Algebra9
  document_files
    "root.tex"
