src/HOL/NthRoot.thy
2009-06-30 hoelzl 2009-06-30 Added DERIV_intros
2009-04-28 haftmann 2009-04-28 collected square lemmas in Nat_Numeral
2009-03-04 huffman 2009-03-04 declare power_Suc [simp]; remove redundant type-specific versions of power_Suc
2008-12-03 haftmann 2008-12-03 made repository layout more coherent with logical distribution structure; stripped some $Id$s