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:
membernilintlist