PrintForm Definitions action sets Sections AutomataTheory Doc

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

(S:nils) S.car
By:
RecUnfold `maction` 0
THEN
SplitOnConclITE
Generated subgoals:

15. null(nil)
s S.car
25. null(nil)
S.act(hd(nil),(S:tl(nil)s)) S.car

About:
memberniluniverselistapply