chapter AFP

session FOL_Seq_Calc2 = "HOL-Library" +
  options [timeout = 300]
  sessions
    Collections
    Abstract_Completeness
    Abstract_Soundness
    FOL_Seq_Calc1
  theories
    SeCaV
    Sequent1
    Sequent_Calculus_Verifier
    Prover
    Export
    ProverLemmas
    Hintikka
    EPathHintikka
    Usemantics
    Countermodel
    Soundness
    Completeness
    Results
  document_files
    "root.tex"