src/HOL/ex/Hex_Bin_Examples.thy
2011-01-07 bulwahn 2011-01-07 removing obselete Id comments from HOL/ex theories
2006-10-06 kleing 2006-10-06 examples for hex and bin numerals