PrintForm Definitions det automata Sections AutomataTheory Doc

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

A((Result(A)nil),"?") St
By: Reduce 5
Generated subgoal:

15. True
A((Result(A)nil),"?") St

About:
memberapplyniltokenuniverselistassert