chapter AFP
session KAD = HOL +
options [timeout = 600]
sessions
Kleene_Algebra
theories
Domain_Semiring
Antidomain_Semiring
Range_Semiring
Modal_Kleene_Algebra
Modal_Kleene_Algebra_Models
Modal_Kleene_Algebra_Applications
document_files
"root.bib"
"root.tex"
[Dauer der Verarbeitung: 0.21 Sekunden, vorverarbeitet 2026-07-01]
