chapter AFP
session Pre_Star_CFG = Context_Free_Grammar +
options [timeout=300]
theories
Pre_Star
Pre_Star_Example
Applications
Applications_Example
Finiteness
Pre_Star_CNF
document_files
root.bib
root.tex
[Dauer der Verarbeitung: 0.9 Sekunden, vorverarbeitet 2026-09-29]
