PrintForm Definitions det automata Sections AutomataTheory Doc

At: compute list wf 1 1
1. Alph: Type
2. St: Type
3. A: Automata(Alph;St)
4. l: Alph*

(Result(A)nil) St
By: RecCaseSplit `compute_list`
Generated subgoals:

15. null(nil)
InitialState(A) St
25. null(nil)
A((Result(A)nil),"?") St

About:
memberniluniverselistapplytoken