isabelle: Changelog

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

haftmann [Sat, 27 Jun 2015 20:26:33 +0200] rev 60600

simplified termination criterion for euclidean algorithm (again)

haftmann [Sat, 27 Jun 2015 20:20:36 +0200] rev 60599

tuned proof

haftmann [Sat, 27 Jun 2015 20:20:34 +0200] rev 60598

rings follow immediately their corresponding semirings

haftmann [Sat, 27 Jun 2015 20:20:33 +0200] rev 60597

tuned code setup

haftmann [Sat, 27 Jun 2015 20:20:32 +0200] rev 60596

algebraic specification for set gcd

wenzelm [Sat, 27 Jun 2015 00:10:24 +0200] rev 60595

premises in 'show' are treated like 'assume';

isabelle