PrintForm Definitions mb automata 2 Sections GenAutomata Doc

At: relname sq

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

None

PrintForm Definitions mb automata 2 Sections GenAutomata Doc