Who Cites gcd?
gcd	Def gcd(a;b) == if b=0 a else gcd(b;a rem b) fi  (recursive)
	Thm* a,b:. gcd(a;b)
eq_int	Def i=j == if i=j true ; false fi
	Thm* i,j:. (i=j)

Syntax:

gcd(a;b)

has structure:

gcd(a; b)

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