chapter AFP
session Hoare_Time = "HOL" +
options [timeout = 900]
sessions
"Separation_Algebra"
"HOL-Library"
"HOL-Eisbach"
directories
"SepLogAdd"
theories
Hoare_Time
document_files
"root.bib"
"root.tex"
| Messung V0.5 in Prozent |
|---|
| | | |
[Dauer der Verarbeitung: 0.11 Sekunden, vorverarbeitet 2026-09-29]
