isabelle: File revisions

src/HOL/ex/Ballot.thy

2019-01-05	wenzelm	isabelle update -u control_cartouches;	file \| diff \| annotate
2018-05-15	immler	move FuncSet back to HOL-Library (amending 493b818e8e10)	file \| diff \| annotate
2018-05-02	immler	added Johannes' generalizations Modules.thy and Vector_Spaces.thy; adapted HOL and HOL-Analysis accordingly	file \| diff \| annotate
2018-01-10	nipkow	ran isabelle update_op on all sources	file \| diff \| annotate
2017-08-18	wenzelm	session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;	file \| diff \| annotate
2016-07-22	wenzelm	tuned proofs -- avoid unstructured calculation;	file \| diff \| annotate
2016-04-25	wenzelm	eliminated old 'def';	file \| diff \| annotate
2015-11-10	paulson	Coercion "real" now has type nat => real only and is no longer overloaded. Type class "real_of" is gone. Many duplicate theorems removed.	file \| diff \| annotate
2015-10-06	wenzelm	isabelle update_cartouches;	file \| diff \| annotate
2015-06-16	hoelzl	tuned src/HOL/ex/Ballot	file \| diff \| annotate
2015-06-12	bulwahn	add examples from Freek's top 100 theorems (thms 30, 73, 77)	file \| diff \| annotate

isabelle