Nuprl - Some Definitions

WhoCites Definitions mb automata 2 Sections GenAutomata Doc

	Who Cites prop?

prop	`Def Prop == Type`

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

About:

WhoCites Definitions mb automata 2 Sections GenAutomata Doc