PrintForm Definitions mb automata 2 Sections GenAutomata Doc

At: frame var wf

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

None

About:
memberall

PrintForm Definitions mb automata 2 Sections GenAutomata Doc