src/HOL/Library/Target_Numeral.thy
2012-03-30 huffman 2012-03-30 removed redundant nat-specific copies of theorems
2012-03-27 huffman 2012-03-27 generalize some theorems about div/mod
2012-03-25 huffman 2012-03-25 merged fork with new numeral representation (see NEWS)