chapter AFP

session Case_Labeling = HOL +
  options [timeout = 300]
  sessions
    "HOL-Eisbach"
    "HOL-Hoare"
  directories
    "Examples"
    "Examples/Hoare"
  theories
    Case_Labeling
    Case_Labeling_Examples
  document_files
    "root.tex"
    "root.bib"
