chapter AFP

session Allen_Calculus = HOL +
  options [timeout = 600]
  sessions
    "HOL-Eisbach"
  theories
    xor_cal
    axioms
    allen
    disjoint_relations
    jointly_exhaustive
    examples
    nest
  document_files
    "root.tex"
