tuned whitespace;
isabelle update -u control_cartouches;
generalized local_typedef_ab_group_add
use locales in Group_On_With
proper session HOL-Types_To_Sets; NEWS; CONTRIBUTORS; tuned whitespace;