chapter AFP
session Hypergraph_Basics (AFP) = "HOL-Library" +
options [timeout = 600]
sessions
Design_Theory
Fishers_Inequality
Undirected_Graph_Theory
theories
Hypergraph_Basics_Root
document_files
"root.bib"
"root.tex"
[Dauer der Verarbeitung: 0.11 Sekunden, vorverarbeitet 2026-07-02]
