Nuprl - Definition of case default

	No mentions to report in SUPPORTjlc

case_default	`Def Default = > body(value,value) == body`

Syntax: Default = > body has structure: case_default(body)

About: