src/HOL/ex/Hex_Bin_Examples.thy
2006-10-06 kleing 2006-10-06 examples for hex and bin numerals