PrintForm
Definitions
list
3
autom
Sections
AutomataTheory
Doc
At:
add
action
wf
St:Type, l:St*, f:(St
St). (+f)(l)
St*
By:
RepD
Generated subgoal:
1
1.
St:
Type
2.
l:
St*
3.
f:
St
St
(+f)(l)
St*
About:
St
(+f)(l) 
St* 
St:Type, l:St*, f:(StSt). (+f)(l) St*St (+f)(l) St*
