src/HOL/ex/Ballot.thy
2015-06-16 hoelzl 2015-06-16 tuned src/HOL/ex/Ballot
2015-06-12 bulwahn 2015-06-12 add examples from Freek's top 100 theorems (thms 30, 73, 77)