src/HOL/Library/Code_Nat.thy
2012-03-25 huffman 2012-03-25 merged fork with new numeral representation (see NEWS)