src/HOL/Word/Misc_Numeric.thy
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