(3steps) PrintForm Definitions mb label Sections GenAutomata Doc

At: ptn atom wf3

x:Atom. ptn_atom(x) Label
By: Unfold `lbl` 0
Generated subgoal:

11. x: Atom
ptn_atom(x) {p:Pattern| ground_ptn(p) }

About:
assertatomsetmemberall

(3steps) PrintForm Definitions mb label Sections GenAutomata Doc