clarified signature; tuned;
tuned signature;
isabelle update -u control_cartouches;
proper session HOL-Types_To_Sets; NEWS; CONTRIBUTORS; tuned whitespace;