chapter AFP

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