src/HOL/Word/Misc_Numeric.thy
2014-11-02 wenzelm 2014-11-02 modernized header;
2014-10-23 haftmann 2014-10-23 downshift of theory Parity in the hierarchy
2014-10-21 haftmann 2014-10-21 turn even into an abbreviation
2014-10-14 haftmann 2014-10-14 legacy cleanup
2014-07-04 haftmann 2014-07-04 reduced name variants for assoc and commute on plus and mult
2013-12-28 haftmann 2013-12-28 postpone dis"useful" lemmas
2013-12-28 haftmann 2013-12-28 cleanup
2013-12-27 haftmann 2013-12-27 tuned proofs and declarations
2013-12-25 haftmann 2013-12-25 prefer more canonical names for lemmas on min/max
2013-12-23 haftmann 2013-12-23 prefer plain bool over dedicated type for binary digits
2013-10-31 haftmann 2013-10-31 more lemmas on division
2013-08-18 haftmann 2013-08-18 some vague grouping of related theorems, with slight tuning of headings and sorting out of dubious lemmas into separate theory
2013-02-28 wenzelm 2013-02-28 simplified imports;
2012-10-19 webertj 2012-10-19 Renamed {left,right}_distrib to distrib_{right,left}.
2012-03-27 huffman 2012-03-27 remove unnecessary rules from the simpset
2012-03-27 huffman 2012-03-27 remove unused premises
2012-03-27 huffman 2012-03-27 remove duplicate lemmas
2012-03-27 huffman 2012-03-27 mark some duplicate lemmas for deletion
2012-03-27 huffman 2012-03-27 remove redundant lemma
2012-03-25 huffman 2012-03-25 merged fork with new numeral representation (see NEWS)
2011-11-20 wenzelm 2011-11-20 eliminated obsolete "standard";
2011-11-16 huffman 2011-11-16 simplify proof of word_of_int; remove several now-unused lemmas about Rep_Integ
2011-09-16 kleing 2011-09-16 removed unused legacy lemma names, some comment cleanup.
2011-09-07 huffman 2011-09-07 avoid using legacy theorem names
2010-10-01 haftmann 2010-10-01 constant `contents` renamed to `the_elem`
2010-07-19 haftmann 2010-07-19 diff_minus subsumes diff_def
2010-06-30 haftmann 2010-06-30 more speaking theory names