PrintForm Definitions mb automata 3 Sections GenAutomata Doc

At: ioa frame wf

t:ioa{i:l}(). t.frame Collection(frame())
By: YRecModulePiTac 6 `ioa` [`ioa_ds`;`ioa_da`;`ioa_init`;`ioa_pre`;`ioa_eff`;`ioa_frame`]
Generated subgoals:

None

About:
memberall

PrintForm Definitions mb automata 3 Sections GenAutomata Doc