(2steps) PrintForm Definitions Lemmas mb automata 4 Sections GenAutomata Doc

At: ioa trans all wf 1
1. A: ioa{i:l}()
2. I: Fmla{i}

A ioa{i':l}
By: BackThru Thm* A:ioa{i:l}(). A ioa{i':l}
Generated subgoals:

None

About:
member

(2steps) PrintForm Definitions Lemmas mb automata 4 Sections GenAutomata Doc