chapter AFP

session pGCL = "HOL-Analysis" +
  options [timeout = 300]
  directories
    "Tutorial"
  theories
    pGCL
    "Tutorial/Primitives"
    "Tutorial/LoopExamples"
    "Tutorial/Monty"
  document_files
    "root.tex"
    "root.bib"
