PrintForm Definitions mb automata 3 Sections GenAutomata Doc

At: wp2 wf

A:ioa{i:l}(), a:Label, Q:Fmla. wp2(A;a;Q) Fmla
By:
Unfolds [`pred`;`wp2`] 0
THEN
Fold `pred` 0
Generated subgoals:

None

About:
memberall

PrintForm Definitions mb automata 3 Sections GenAutomata Doc