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

At: st sq

SQType(SimpleType)
By: Assert SQType(Label+Unit)
Generated subgoals:

1 SQType(Label+Unit)
21. SQType(Label+Unit)
SQType(SimpleType)

About:
unitunion

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