PrintForm
Definitions
action
sets
Sections
AutomataTheory
Doc
At:
counter
of
nil
1
1.
e:
||e:nil|| = 0
By:
RW (RecUnfoldC `el_counter`) 0
THEN
AbReduce 0
Generated subgoals:
None
About:
||e:nil|| = 0 
