src/HOL/Analysis/Ball_Volume.thy
17 months ago nipkow 2018-01-10 ran isabelle update_op on all sources
18 months ago eberlm 2017-12-24 Removed Analysis/ex/Circle_Area; replaced by more general Analysis/Ball_Volume