isabelle: Changelog

eberlm [Mon, 02 Nov 2015 16:17:09 +0100] rev 61552

Added binomial identities to CONTRIBUTORS; small lemmas on of_int/pochhammer

blanchet [Mon, 02 Nov 2015 21:58:38 +0100] rev 61551

don't pollute local theory with needless names

blanchet [Mon, 02 Nov 2015 21:49:49 +0100] rev 61550

allow selectors and discriminators with same name as type

blanchet [Mon, 02 Nov 2015 21:49:49 +0100] rev 61549

make sure that function types are never generated as '> @ A @ B', but always as 'A > B'

wenzelm [Mon, 02 Nov 2015 20:11:16 +0100] rev 61548

merged

wenzelm [Mon, 02 Nov 2015 18:31:57 +0100] rev 61547

avoid premature flushing and thus flashing of text area;

wenzelm [Mon, 02 Nov 2015 18:30:25 +0100] rev 61546

tuned whitespace;

wenzelm [Mon, 02 Nov 2015 18:09:14 +0100] rev 61545

clarified Query_Operation.State, with separate instance to avoid extra flush (see also 6ddeb83eb67a);

wenzelm [Mon, 02 Nov 2015 16:03:03 +0100] rev 61544

redundant;

wenzelm [Mon, 02 Nov 2015 16:02:32 +0100] rev 61543

tuned whitespace;

isabelle