| Thu, 29 Mar 2012 14:09:10 +0200 | huffman | move many lemmas from Nat_Numeral.thy to Power.thy or Num.thy | file | diff | annotate |
| Thu, 29 Mar 2012 11:47:30 +0200 | huffman | bootstrap Num.thy before Power.thy; | file | diff | annotate |
| Mon, 26 Mar 2012 20:07:29 +0200 | huffman | fix incorrect code_modulename declarations | file | diff | annotate |
| Sun, 25 Mar 2012 20:15:39 +0200 | huffman | merged fork with new numeral representation (see NEWS) | file | diff | annotate |