PrintForm Definitions mb automata 3 Sections GenAutomata Doc

At: ioa ds wf

t:ioa{i:l}(). t.ds Collection(dec())
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