2009-03-05 | huffman | declare power_Suc [simp]; remove redundant type-specific versions of power_Suc | file | diff | annotate |
2009-01-28 | nipkow | Replaced group_ and ring_simps by algebra_simps; | file | diff | annotate |
2008-12-03 | haftmann | made repository layout more coherent with logical distribution structure; stripped some $Id$s | file | diff | annotate | base |