isabelle: Changelog

nipkow [Thu, 27 Dec 2018 22:54:29 +0100] rev 69515

merged

nipkow [Thu, 27 Dec 2018 22:54:17 +0100] rev 69514

tuned headers

immler [Thu, 27 Dec 2018 21:32:36 +0100] rev 69513

moved lemmas up

immler [Thu, 27 Dec 2018 21:32:34 +0100] rev 69512

prove lemmas in context real_normed_vector

immler [Thu, 27 Dec 2018 21:00:54 +0100] rev 69511

moved dependency

immler [Thu, 27 Dec 2018 21:00:50 +0100] rev 69510

generalized to big sum

nipkow [Thu, 27 Dec 2018 19:48:41 +0100] rev 69509

merged

nipkow [Thu, 27 Dec 2018 19:48:28 +0100] rev 69508

tuned headers; ~ -> \<not>

Lars Hupel <lars.hupel@mytum.de> [Thu, 27 Dec 2018 17:36:19 +0100] rev 69507

update LTS Haskell version

wenzelm [Wed, 26 Dec 2018 20:57:23 +0100] rev 69506

{* verbatim *} is explicit legacy feature;

isabelle