chapter AFP
session "Category3" = "HOL-Library" +
options [timeout = 3600, names_unique = false]
sessions
"HereditarilyFinite" "ZFC_in_HOL"
theories
Colimit EquivalenceOfCategories HF_SetCat_Interp ZFC_SetCat_Interp
document_files
"root.bib"
"root.tex"
¤ Dauer der Verarbeitung: 0.12 Sekunden
(vorverarbeitet am 2026-07-01)
¤
*© Formatika GbR, Deutschland
