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 |