src/HOL/ex/Pythagoras.thy
2014-12-28 kleing 2014-12-28 3 old example lemmas by Amine listed in the top 100 theorems