src/HOL/Analysis/ex/Circle_Area.thy
2017-01-17 wenzelm 2017-01-17 isabelle update_cartouches -c -t;
2017-01-14 wenzelm 2017-01-14 do avoid suspicious Unicode;
2017-01-14 wenzelm 2017-01-14 more standard header; avoid suspicious Unicode;
2017-01-13 eberlm 2017-01-13 Added Circle_Area to HOL-Analysis examples