PrintForm Definitions mb automata 1 Sections GenAutomata Doc

At: trace env proj wf

d:Decl, t:trace_env(d). t.proj LabelLabel
By: YRecModulePiTac 2 `trace_env` [`trace_env_trace`;`trace_env_proj`]
Generated subgoals:

None

About:
boolfunctionmemberall

PrintForm Definitions mb automata 1 Sections GenAutomata Doc