src/HOL/Probability/ex/Measure_Not_CCC.thy
8 months ago haftmann 2018-11-18 removed legacy input syntax
18 months ago nipkow 2018-01-10 ran isabelle update_op on all sources
20 months ago wenzelm 2017-11-03 less global theories -- avoid confusion about special cases;
23 months ago wenzelm 2017-08-18 session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
2016-09-30 hoelzl 2016-09-30 HOL-Analysis: move Continuum_Not_Denumerable from Library
2016-07-12 wenzelm 2016-07-12 more standard name;
2016-04-25 wenzelm 2016-04-25 eliminated old 'def'; tuned comments;
2016-02-23 nipkow 2016-02-23 more canonical names
2015-12-07 wenzelm 2015-12-07 isabelle update_cartouches -c -t;
2015-10-13 haftmann 2015-10-13 prod_case as canonical name for product type eliminator
2014-12-17 hoelzl 2014-12-17 unfortunately, there is no general function space in the measurable spaces