| Sat, 10 Dec 2011 22:00:42 +0100 | huffman | prove class instances without extra lemmas | changeset | files |
| Sat, 10 Dec 2011 21:48:16 +0100 | huffman | finite class instance for word type; remove unused lemmas | changeset | files |
| Sat, 10 Dec 2011 21:07:59 +0100 | huffman | remove unused lemmas | changeset | files |
| Sat, 10 Dec 2011 16:24:22 +0100 | huffman | generalize some lemmas | changeset | files |
| Sat, 10 Dec 2011 13:00:58 +0100 | huffman | merged | changeset | files |
| Sat, 10 Dec 2011 08:29:19 +0100 | huffman | tidied Word.thy; | changeset | files |
| Fri, 09 Dec 2011 14:52:51 +0100 | huffman | remove redundant lemma word_diff_minus | changeset | files |