isabelle: Changelog

wenzelm [Thu, 31 Aug 2017 19:29:42 +0200] rev 66576

tuned;

wenzelm [Thu, 31 Aug 2017 19:06:14 +0200] rev 66575

clarified signature: provide all_known information uniformly (it is subject to Sessions.T selection);

wenzelm [Thu, 31 Aug 2017 17:31:56 +0200] rev 66574

reverted 6acb28e5ba41: permissiveness of 1e5ae735e026 should be sufficient;

wenzelm [Thu, 31 Aug 2017 17:21:38 +0200] rev 66573

tuned;

wenzelm [Thu, 31 Aug 2017 16:35:09 +0200] rev 66572

tolerate errors in session structure, although this may lead to confusion about theory imports later on;

wenzelm [Thu, 31 Aug 2017 16:30:46 +0200] rev 66571

clarified errors;

wenzelm [Thu, 31 Aug 2017 11:42:10 +0200] rev 66570

clarified signature; tuned ssh.prefix;

wenzelm [Thu, 31 Aug 2017 11:15:38 +0200] rev 66569

tuned;

eberlm <eberlm@in.tum.de> [Thu, 31 Aug 2017 17:48:20 +0200] rev 66568

Connecting PMFs to infinite sums

nipkow [Thu, 31 Aug 2017 14:32:23 +0200] rev 66567

Moved material into AFP/Splay_Tree

isabelle