isabelle: Changelog

wenzelm [Sun, 30 Dec 2018 16:56:31 +0100] rev 69551

exclude file name components that are special on Windows;

wenzelm [Sun, 30 Dec 2018 16:25:15 +0100] rev 69550

reject further illegal chars according to https://docs.microsoft.com/en-us/windows/desktop/fileio/naming-a-file

wenzelm [Sun, 30 Dec 2018 16:06:09 +0100] rev 69549

tuned;

wenzelm [Sun, 30 Dec 2018 15:36:43 +0100] rev 69548

more strict check: avoid confusion of Path.basic with Path.current / Path.parent;

wenzelm [Sun, 30 Dec 2018 15:27:59 +0100] rev 69547

tuned;

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

isabelle