Nuprl - GenAutomata Citations of label

Def t ...$L == t

No mentions to report in GenAutomata.