src/HOL/ex/Hex_Bin_Examples.thy
2015-10-06 wenzelm 2015-10-06 isabelle update_cartouches;
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
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