Who Cites sfa doc sexpr cons?
sfa_doc_sexpr_cons	Def Cons(s1;s2) == inl(<s1,s2>)
	Thm* A:Type, s1,s2:Sexpr(A). Cons(s1;s2)  Sexpr(A)

Syntax:

Cons(s1;s2)

has structure:

sfa_doc_sexpr_cons(s1; s2)

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