Nuprl - Definition Cascade for prop

WhoCites Definitions MarkB generic Sections NuprlLIB Doc

	Who Cites prop?

prop	`Def Prop == Type`

Syntax: Prop has structure: prop{i:l}

About:

WhoCites Definitions MarkB generic Sections NuprlLIB Doc