chapter AFP

session Implicational_Logic = HOL +
  options [timeout = 3600]
  theories
    Implicational_Logic
    Implicational_Logic_Appendix
    Implicational_Logic_Sequent_Calculus
    Implicational_Logic_Natural_Deduction
    Implicational_Logic_New
  document_files
    "root.tex"
