1. a : 
2. b : 
3. c : 
4. x : 
5. y : 
6. x | a & x | b & (z:. z | a & z | b  z | x)
7. y | x & y | c & (z:. z | x & z | c  z | y)
  z:. z | a  z | b  z | c  z | y

None

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