| Fri, 18 Nov 2011 06:50:05 +0100 | huffman | Word.thy: reduce usage of numeral-representation-dependent thms like number_of_is_id in proofs | changeset | files |
| Fri, 18 Nov 2011 04:56:35 +0100 | huffman | merged | changeset | files |
| Thu, 17 Nov 2011 18:31:00 +0100 | huffman | Groups.thy: generalize several lemmas from class ab_group_add to class group_add | changeset | files |
| Thu, 17 Nov 2011 15:07:46 +0100 | huffman | HOL-Word: removed more duplicate theorems | changeset | files |
| Thu, 17 Nov 2011 14:52:05 +0100 | huffman | HOL-Word: removed many duplicate theorems (see NEWS) | changeset | files |
| Thu, 17 Nov 2011 14:24:10 +0100 | huffman | Word.thy: rearrange to instantiate arithmetic classes together with arithmetic operations | changeset | files |
| Thu, 17 Nov 2011 12:38:03 +0100 | huffman | move definitions of bitwise operators into appropriate document section | changeset | files |