PrintForm
Definitions
mb
automata
1
Sections
GenAutomata
Doc
At:
trace
env
trace
wf
d:Decl, t:trace_env(d). t.trace
(
d) List
By:
YRecModulePiTac 2 `trace_env` [`trace_env_trace`;`trace_env_proj`]
Generated subgoals:
None
About:
PrintForm
Definitions
mb
automata
1
Sections
GenAutomata
Doc
d:Decl, t:trace_env(d). t.trace 
(
d) List
