chapter AFP
session Lambda_Free_KBOs = Nested_Multisets_Ordinals +
options [timeout = 600]
sessions
"HOL-Cardinals"
"Regular-Sets"
Lambda_Free_RPOs
Polynomials
theories
Lambda_Free_KBOs
document_files
"root.tex"
[Dauer der Verarbeitung: 0.11 Sekunden, vorverarbeitet 2026-09-02]
