PrintForm
Definitions
action
sets
Sections
AutomataTheory
Doc
At:
counter
of
nil
e:
. ||e:nil|| = 0
By:
Analyze 0
Generated subgoal:
1
1.
e:
||e:nil|| = 0
About:
||e:nil|| = 0 
e:. ||e:nil|| = 0 ||e:nil|| = 0 
