src/HOL/ex/Pythagoras.thy
Tue, 23 Feb 2016 16:25:08 +0100 nipkow more canonical names
Wed, 20 Jan 2016 23:05:57 +0100 wenzelm updated header;
Tue, 06 Oct 2015 17:47:28 +0200 wenzelm isabelle update_cartouches;
Sun, 28 Dec 2014 15:42:34 +1100 kleing 3 old example lemmas by Amine listed in the top 100 theorems
less more (0) tip