PrintForm Definitions mb label Sections GenAutomata Doc

At: decidable equal lbl

x,y:Label. Dec(x = y)
By:
Auto
THEN
RWO "eq_lbl_iff < " 0
Generated subgoals:

None

About:
decidableequalall

PrintForm Definitions mb label Sections GenAutomata Doc