PrintForm
Definitions
grammar
1
Sections
AutomataTheory
Doc
At:
g
prod
wf
V,T:Type, g:Grammar(V;T). g.prod
((V+T List
)
(V+T)*)*
By:
ModulePiTac 2 [`g_prod`;`g_init`]
Generated subgoals:
None
About:
V,T:Type, g:Grammar(V;T). g.prod 
((V+T List
)
(V+T)*)*
