chapter AFP
session GraphMarkingIBP = HOL +
options [timeout = 600]
sessions
DataRefinementIBP
theories
DSWMark
document_files
"root.bib"
"root.tex"
[Verzeichnis aufwärts0.12unsichere VerbindungÜbersetzung europäischer Sprachen durch Browser2026-07-02]