PrintForm Definitions mb automata 2 Sections GenAutomata Doc

At: smt sq

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

None

PrintForm Definitions mb automata 2 Sections GenAutomata Doc