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 |