mb structures Sections GenAutomata Doc

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

is mentioned

In prior sections: rel 1 mb nat mb list 2

Try larger context: GenAutomata

mb structures Sections GenAutomata Doc