chapter AFP

session Combinable_Wands = Package_logic +
  options [timeout = 300]
  theories
    PosRat
    Mask
    PartialHeapSA
    CombinableWands
  document_files
    "root.bib"
    "root.tex"
