automation for unverloading definitions
isabelle update -u path_cartouches;
a derived rule combining unoverload and internalize_sort
prefer HTTPS;
proper session HOL-Types_To_Sets; NEWS; CONTRIBUTORS; tuned whitespace;