PrintForm Definitions action sets Sections AutomataTheory Doc

At: maction wf 1 2
1. Alph: Type
2. S: ActionSet(Alph)
3. L: Alph*
4. s: S.car
5. null(nil)

S.act(hd(nil),(S:tl(nil)s)) S.car
By: Analyze 5
Generated subgoal:

1 null(nil)

About:
memberapplyniluniverselistassert