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