mb hybrid Sections GenAutomata Doc

Def Sym x,y:T. E(x;y) == a,b:T. E(a;b) E(b;a)

is mentioned

In prior sections: rel 1 mb nat mb list 2

Try larger context: GenAutomata

mb hybrid Sections GenAutomata Doc