chapter AFP

session IMP_Compiler_Reuse = HOL +
  options [timeout=300]
  sessions
    "HOL-IMP"
  theories
    Compiler
    Compiler2
  document_files
    "root.bib"
    "root.tex"
