Nuprl - Some Definitions

	Some definitions of interest.

iff	`Def P Q == (P Q) & (P Q)`

	`Thm* A,B:Prop. (A B) Prop`

not	`Def A == A False`

	`Thm* A:Prop. (A) Prop`

About: