PrintForm Definitions mb automata 2 Sections GenAutomata Doc

At: dec mng wf

rho:Decl, d:dec(). [[d]] rho Decl
By:
Unfold `dec_mng` 0
THEN
Analyze -1
THEN
Reduce 0
Generated subgoals:

None

About:
memberall

PrintForm Definitions mb automata 2 Sections GenAutomata Doc