PrintForm Definitions mb automata 2 Sections GenAutomata Doc

At: frame acts wf

t:frame(). t.acts Label List
By: YRecModulePiTac 3 `frame` [`frame_var`;`frame_typ`;`frame_acts`]
Generated subgoals:

None

About:
listmemberall

PrintForm Definitions mb automata 2 Sections GenAutomata Doc