chapter AFP
session "Functional-Automata" = "HOL-Library" +
options [timeout = 600]
sessions
"Regular-Sets"
theories
Functional_Automata
document_files
"root.bib"
"root.tex"
| Messung V0.5 in Prozent |
|---|
| | | |
[Seitenstruktur0.25Druckenetwas mehr zur Ethik2026-09-29]
