src/HOL/Ln.thy
2009-03-05 huffman declare power_Suc [simp]; remove redundant type-specific versions of power_Suc
2009-01-28 nipkow Replaced group_ and ring_simps by algebra_simps;
2008-12-03 haftmann made repository layout more coherent with logical distribution structure; stripped some $Id$s
less more (0) tip