src/HOL/Word/Bit_Comparison.thy
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.
2013-12-23 haftmann 2013-12-23 prefer plain bool over dedicated type for binary digits
2013-11-13 haftmann 2013-11-13 separated comparision on bit operations into separate theory