PrintForm
Definitions
grammar
1
Sections
AutomataTheory
Doc
At:
derive
wf
V,T:Type, G:Grammar(V;T).
(V+T)*
(V+T)*
Prop
By:
Unfold `derive` 0
THEN
Analyze 6
Generated subgoals:
None
About:
V,T:Type, G:Grammar(V;T). 
(V+T)*
(V+T)*Prop
