chapter AFP
session Finite_Automata_HF = HOL +
description "Finite Automata and Regular Languages in HF Set Theory"
options [timeout = 600]
sessions
"HOL-Library"
"Regular-Sets"
HereditarilyFinite
theories
Finite_Automata_HF
document_files
"root.tex"
[Dauer der Verarbeitung: 0.10 Sekunden, vorverarbeitet 2026-07-02]
