chapter AFP
session Case_Labeling = HOL +
options [timeout = 300]
sessions
"HOL-Eisbach"
"HOL-Hoare"
directories
"Examples"
"Examples/Hoare"
theories
Case_Labeling
Case_Labeling_Examples
document_files
"root.tex"
"root.bib"
[Dauer der Verarbeitung: 0.16 Sekunden, vorverarbeitet 2026-09-29]
