src/HOL/Word/Bits.thy
2014-11-02 wenzelm 2014-11-02 modernized header;
2014-01-31 wenzelm 2014-01-31 tuned headers;
2013-12-23 haftmann 2013-12-23 prefer "Bits" as theory name for abstract bit operations, similar to "Orderings", "Lattices", "Groups" etc.