isabelle: Changelog

haftmann [Sun, 30 Dec 2018 10:34:56 +0000] rev 69546

prefer naming convention from datatype package for strong congruence rules

haftmann [Sun, 30 Dec 2018 10:34:56 +0000] rev 69545

redundant

immler [Sat, 29 Dec 2018 20:32:09 +0100] rev 69544

split off theorems involving classes below metric_space and real_normed_vector

immler [Sat, 29 Dec 2018 18:40:29 +0000] rev 69543

merged

immler [Sat, 29 Dec 2018 18:21:13 +0000] rev 69542

merged

immler [Sat, 29 Dec 2018 17:46:48 +0100] rev 69541

tuned analysis manual

wenzelm [Sat, 29 Dec 2018 19:26:48 +0100] rev 69540

tuned signature;

wenzelm [Sat, 29 Dec 2018 18:45:57 +0100] rev 69539

merged

wenzelm [Sat, 29 Dec 2018 17:37:02 +0100] rev 69538

clarified signature, notably cascade of dump_options, deps, resources, session;

wenzelm [Sat, 29 Dec 2018 16:13:05 +0100] rev 69537

unused;

isabelle