PrintForm Definitions mb automata 2 Sections GenAutomata Doc

At: frame typ wf

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

None

About:
memberall

PrintForm Definitions mb automata 2 Sections GenAutomata Doc