Session Finite_Automata_HF
View
theory dependencies
View
document
View
outline
Theories
HOL-Library.Nat_Bijection
HereditarilyFinite.HF
HereditarilyFinite.Ordinal
Regular-Sets.Regular_Set
Regular-Sets.Regular_Exp
Finite_Automata_HF