PrintForm Definitions mb automata 1 Sections GenAutomata Doc

At: ts sq

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

None


PrintForm Definitions mb automata 1 Sections GenAutomata Doc