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

At: st sq 2
1. SQType(Label+Unit)

SQType(SimpleType)
By:
Unfold `st` 0
THEN
SqTac
Generated subgoals:

None

About:
unitunion

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