Who Cites is list mem?
is_list_mem	Def  a  xs == Case of xs; nil  False ; x.ys  a = x  A  (a  ys) Def  (recursive)
	Thm*  A:Type, a:A, xs:A List. (a  xs)  Prop

Syntax:

a  xs

has structure:

is_list_mem(A; a; xs)

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