PrintForm Definitions mb automata 2 Sections GenAutomata Doc

At: sts mng subtype

sts:Collection(SimpleType), rho:Decl, v:[[sts]] rho, s:SimpleType. s sts v [[s]] rho
By:
Unfolds [`sts_mng`] 0
THEN
AllHyps (IsectHD s)
Generated subgoals:

None

About:
memberimpliesall

PrintForm Definitions mb automata 2 Sections GenAutomata Doc