PrintForm Definitions mb hybrid Sections GenAutomata Doc

At: decidable R ad normal

E:TaggedEventStruct, tr:|E| List, x,y:|E|. Dec(R_ad_normal(tr)(x,y))
By:
Unfold `R_ad_normal` 0
THEN
Reduce 0
Generated subgoals:

None

About:
listdecidableapplyall

PrintForm Definitions mb hybrid Sections GenAutomata Doc