No other cites to report in HanoiTowers
member_and	Def  x  A, P == x  A & P

Syntax:

x  A, P

has structure:

member_and(A; x; P)

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