ran isabelle update_op on all sources
proper session HOL-Types_To_Sets; NEWS; CONTRIBUTORS; tuned whitespace;