PrintForm
Definitions
nfa
1
Sections
AutomataTheory
Doc
At:
hd
select
T:Type, l:T*. ||l|| > 0
hd(l) = l[0]
By:
UnivCD
THEN
Unfold `select` 0
THEN
Reduce 0
Generated subgoals:
None
About:
T:Type, l:T*. ||l|| > 0 
hd(l) = l[0]
