src/HOL/Analysis/ex/Circle_Area.thy
Sat, 14 Jan 2017 21:29:21 +0100 wenzelm do avoid suspicious Unicode;
Sat, 14 Jan 2017 20:39:16 +0100 wenzelm more standard header;
Fri, 13 Jan 2017 17:45:51 +0100 eberlm Added Circle_Area to HOL-Analysis examples
less more (0) tip