'a:S. 
  all
  (l:hlist('a). or
  (l:hlist('a). (equal(l,nil)
  (l:hlist('a). ,exists(t:hlist('a). exists(h:'a. equal(l,cons(h,t))))))

None

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