Def		outl(x)	[outl]
Def		outr(x)	[outr]
Def		isl(x)	[isl]
Def		b	[assert]	bool 1
Def		P  Q	[implies]	core
Def		x:A. B(x)	[all]	core
Def		b	[bnot]	bool 1
Def		false	[bfalse]	bool 1
Def		true	[btrue]	bool 1

About: IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html