Who Cites replace fn values?
replace_fn_values	Def  (Replace values x s.t. P(x) by y in f)(i) == if P(f(i)) y else f(i) fi
	Thm*  A,X:Type, P:(A), y:A, f:(XA). Thm*  (Replace values x s.t. P(x) by y in f)  XA

Syntax:

Replace values x s.t. P(x) by y in f

has structure:

replace_fn_values(x.P(x); y; f)

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