PrintForm
Definitions
action
sets
Sections
AutomataTheory
Doc
At:
el
counter
wf
1
1
1.
n:
2.
L:
*
||n:nil||
By:
RecCaseSplit `el_counter`
THEN
Analyze 3
THEN
Reduce 0
Generated subgoals:
None
About: