Nuprl - Some Definitions

	No mentions to report in GenAutomata

label	`Def t ...$L == t`

Syntax: t ...$L has structure: label{$L:t}(t)

About: