Who Cites sfa doc inlist?
sfa_doc_inlist	Def a list xs == Case of xs; nil  False ; x.ys  x = a  A  a list ys Def (recursive)
	Thm* A:Type, a:A, xs:A List. (a list xs)  Prop

Syntax:

a list xs

has structure:

sfa_doc_inlist(A; a; xs)

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