src/HOL/Analysis/Ball_Volume.thy
6 months ago nipkow 2018-12-28 tuned style and headers
9 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.
12 months ago Manuel Eberl 2018-07-13 Tagged Ball_Volume and Gamma_Function in HOL-Analysis
15 months ago paulson 2018-04-15 various new results on measures, integrals, etc., and some simplified proofs
15 months ago paulson 2018-04-12 Analysis builds using set_borel_measurable_def, etc.
16 months ago paulson 2018-02-25 new material on matrices, etc., and consolidating duplicate results about of_nat
18 months ago nipkow 2018-01-10 ran isabelle update_op on all sources
19 months ago eberlm 2017-12-24 Removed Analysis/ex/Circle_Area; replaced by more general Analysis/Ball_Volume