src/HOL/Word/Bits_Int.thy
2014-11-02 wenzelm 2014-11-02 modernized header;
2014-09-21 haftmann 2014-09-21 explicit separation of signed and unsigned numerals using existing lexical categories num and xnum
2013-12-28 haftmann 2013-12-28 move instantiation here from AFP/Native_Word
2013-12-23 haftmann 2013-12-23 prefer "Bits" as theory name for abstract bit operations, similar to "Orderings", "Lattices", "Groups" etc.