PrintForm
Definitions
action
sets
Sections
AutomataTheory
Doc
At:
el
counter
wf
n:
, L:
*. ||n:L||
By:
UnivCD
Generated subgoal:
1
1.
n:
2.
L:
*
||n:L||
About:
*
||n:L|| 
n:, L:*. ||n:L|| * ||n:L|| 
