PrintForm Definitions mb automata 3 Sections GenAutomata Doc

At: ioa eff wf


t:ioa{i:l}(). t.eff Collection(eff())

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