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"
[Dauer der Verarbeitung: 0.13 Sekunden, vorverarbeitet 2026-07-02]