Nuprl - Some Definitions

	Who Cites case default?

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

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

About: