chapter AFP
session Nominal_Unification = HOL +
options [timeout = 600]
sessions
"HOL-Library"
theories
"NU_Swap"
"NU_Atoms"
"NU_Terms"
"NU_Disagreement"
"NU_Fresh"
"NU_PreEqu"
"NU_Equ"
"NU_Substs"
"NU_Mgu"
"NU_Termination"
"NU"
document_files
"root.tex"
"root.bib"
¤ Dauer der Verarbeitung: 0.12 Sekunden
(vorverarbeitet am 2026-07-02)
¤
*© Formatika GbR, Deutschland
