Def		FIncr	[fincr]
Def		{i...}	[int_upper]	int 1
Def		i=j	[eq_int]	bool 1
Def		if b t else f fi	[ifthenelse]	bool 1
Def			[nat]	int 1
Def		AB	[le]	core
Def		A	[not]	core

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