(2steps) PrintForm Definitions mb automata 3 Sections GenAutomata Doc

At: empty decls mng 1
1. v: Top
2. rho: Decl
3. x: Label
4. d: {d:dec()| d < > }

v [[d]] rho(x)
By:
Analyze -1
THEN
RW ColMemberC -1
THEN
Trivial
Generated subgoals:

None

About:
setapplymembertop

(2steps) PrintForm Definitions mb automata 3 Sections GenAutomata Doc