PrintForm Definitions action sets Sections AutomataTheory Doc

At: counter append 1 1 1
1. e:
2. L: *
3. M: *

||e:M|| = ||e:nil||+||e:M||
By: Inst Thm* e:. ||e:nil|| = 0 [e]
Generated subgoal:

14. ||e:nil|| = 0
||e:M|| = ||e:nil||+||e:M||

About:
equaladdnilintlist