PrintForm Definitions mb automata 2 Sections GenAutomata Doc

At: eq relname wf

a,b:relname(). eq_relname(a;b)
By:
UnivCD
THEN
Unfold `eq_relname` 0
THEN
Analyze 2
THEN
Analyze 1
THEN
Reduce 0
Generated subgoals:

None

About:
boolmemberall

PrintForm Definitions mb automata 2 Sections GenAutomata Doc