PrintForm Definitions mb automata 1 Sections GenAutomata Doc

At: term sq2

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

None


PrintForm Definitions mb automata 1 Sections GenAutomata Doc