chapter AFP
session Girth_Chromatic = "HOL-Probability" +
options [timeout = 600]
sessions
"HOL-Decision_Procs"
"HOL-Library"
theories
Girth_Chromatic
document_files
"root.bib"
"root.tex"
[Dauer der Verarbeitung: 0.12 Sekunden, vorverarbeitet 2026-07-02]
