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

At: empty sts mng

v:Top, rho:Decl. v [[ < > ]] rho
By: Unfold `sts_mng` 0
Generated subgoal:

11. v: Top
2. rho: Decl
3. x: {x:SimpleType| x < > }
v [[x]] rho

About:
membertopall

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