PrintForm Definitions det automata Sections AutomataTheory Doc

At: reach list 1 3
1. Alph: Type
2. St: Type
3. Auto: Automata(Alph;St)
4. Fin(St)
5. Fin(Alph)

Fin( < St,a:Alph. s:St. Auto(s,a) > .car)
By:
Unfold `aset_car` 0
THEN
Reduce 0
THEN
NthHyp -2
Generated subgoals:

None

About:
pairapplyuniverse