Up to GNU SETL doc top
*** To be written.
Meanwhile, The SETL Programming Language by Robert Dewar is an excellent introduction to SETL.