src/HOL/Analysis/Ball_Volume.thy
3 months ago wenzelm 2019-01-01 more antiquotations -- less LaTeX macros;
3 months ago nipkow 2018-12-28 tuned style and headers
6 months ago nipkow 2018-09-24 Prefix form of infix with * on either side no longer needs special treatment because (* and *) are no longer comment brackets in terms.
9 months ago Manuel Eberl 2018-07-13 Tagged Ball_Volume and Gamma_Function in HOL-Analysis
12 months ago paulson 2018-04-15 various new results on measures, integrals, etc., and some simplified proofs
12 months ago paulson 2018-04-12 Analysis builds using set_borel_measurable_def, etc.
13 months ago paulson 2018-02-25 new material on matrices, etc., and consolidating duplicate results about of_nat
15 months ago nipkow 2018-01-10 ran isabelle update_op on all sources
15 months ago eberlm 2017-12-24 Removed Analysis/ex/Circle_Area; replaced by more general Analysis/Ball_Volume