mb structures Sections GenAutomata Doc

Def tag_splitable(E;R) == tr_1,tr_2:Trace(E). (tr_1 R tr_2) (m:Label. < tr_1 > _m R < tr_2 > _m)

is not mentioned in this or prior sections.

Try larger context: GenAutomata

mb structures Sections GenAutomata Doc