isabelle: Changelog

wenzelm [Mon, 29 Jun 2015 20:55:46 +0200] rev 60610

improved scheduling for urgent tasks, using farm of replacement threads (may lead to factor 2 overloading, but CPUs are usually hyperthreaded);

wenzelm [Mon, 29 Jun 2015 19:27:07 +0200] rev 60609

clarified static phase; proper error;

wenzelm [Mon, 29 Jun 2015 16:07:55 +0200] rev 60608

tuned proofs;

wenzelm [Mon, 29 Jun 2015 15:41:16 +0200] rev 60607

more symbols;

wenzelm [Mon, 29 Jun 2015 15:36:29 +0200] rev 60606

more symbols; tuned proofs; tuned ML;

nipkow [Mon, 29 Jun 2015 13:49:21 +0200] rev 60605

corrected typo

hoelzl [Tue, 16 Jun 2015 11:31:22 +0200] rev 60604

tuned src/HOL/ex/Ballot

bulwahn [Fri, 12 Jun 2015 10:33:02 +0200] rev 60603

add examples from Freek's top 100 theorems (thms 30, 73, 77)

hoelzl [Wed, 17 Jun 2015 18:44:23 +0200] rev 60602

generalized geometric distribution

nipkow [Sun, 28 Jun 2015 14:30:53 +0200] rev 60601

added lemma

isabelle