chapter AFP
session IMP_Noninterference (AFP) = HOL +
options [timeout = 900]
sessions
"HOL-IMP"
theories
Definitions
Idempotence
Overapproximation
Correctness
Degeneracy
document_files
"root.bib"
"root.tex"
[Dauer der Verarbeitung: 0.12 Sekunden, vorverarbeitet 2026-09-06]
