src/HOL/Word/Bits_Bit.thy
2017-04-03 wenzelm 2017-04-03 misc tuning and modernization;
2015-12-07 wenzelm 2015-12-07 isabelle update_cartouches -c -t;
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.