src/HOL/ex/Hex_Bin_Examples.thy
Fri, 07 Jan 2011 14:46:28 +0100 bulwahn removing obselete Id comments from HOL/ex theories
Fri, 06 Oct 2006 03:49:36 +0200 kleing examples for hex and bin numerals
less more (0) tip