chapter AFP
session Twelvefold_Way = Bell_Numbers_Spivey +
options [timeout = 300]
sessions
"HOL-ex"
"HOL-Eisbach"
"HOL-Combinatorics"
Card_Multisets
Card_Number_Partitions
theories
Twelvefold_Way
document_files
"root.bib"
"root.tex"
[Dauer der Verarbeitung: 0.10 Sekunden, vorverarbeitet 2026-09-29]
