chapter AFP

session Synthetic_Completeness = HOL +
  options [timeout=300]
  sessions
    "HOL-Cardinals"
  theories
    Maximal_Consistent_Sets
    Derivations
    Refutations
    Example_Propositional_Tableau
    Example_Propositional_SC
    Example_Modal_Logic
    Example_Hybrid_Logic
    Example_First_Order_Logic
  document_files
    "root.tex"
    "root.bib"
