avoid non-portable int constant -- make SML/NJ happy;

avoid empty input and its adverse effect on socket communication, e.g. output message getting "stuck" after vacuous update due to Session.update_options;

prefer TCP_NODELAY -- avoid extra buffering due to Nagle's algorithm;

basic IO buffer size like for fifo -- imitate implicit flushing behaviour more closely;

removed junk (cf. 409d7f7247f4);

fix a citation

declare Quotient_Examples/FSet.thy as almost obsolete

update documentation of important public ML functions in Lifting

update documentation of Lifting/Transfer and Quotient

don't allow parametricity theorem for typedefs in setup_lifting. The theorem is not used.