| Thu, 23 Aug 2007 15:47:42 +0200 | huffman | move bin_nth stuff to its own subsection | changeset | files |
| Wed, 22 Aug 2007 21:09:21 +0200 | huffman | removed Word/Size.thy; | changeset | files |
| Wed, 22 Aug 2007 20:59:19 +0200 | huffman | typed print translation for CARD('a); | changeset | files |