chapter AFP
session HereditarilyFinite = HOL +
description "The Hereditarily Finite Sets"
options [timeout = 600]
sessions
"HOL-Library"
theories
Rank
Finite_Automata
Finitary
OrdArith
document_files
"root.bib"
"root.tex"
[Dauer der Verarbeitung: 0.10 Sekunden, vorverarbeitet 2026-07-02]
