Who Cites sfa doc even?
sfa_doc_even	Def i even == 0=(i rem 2)
	Thm* i:. i even
eq_int	Def i=j == if i=j true ; false fi
	Thm* i,j:. (i=j)

Syntax:

i even

has structure:

sfa_doc_even(i)

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