src/HOL/Library/Char_nat.thy
Sun, 17 Feb 2008 06:49:53 +0100 huffman New simpler representation of numerals, using Bit0 and Bit1 instead of BIT, B0, and B1
Thu, 14 Jun 2007 23:04:39 +0200 wenzelm tuned proofs;
Thu, 26 Apr 2007 13:32:59 +0200 haftmann moved code generation pretty integers and characters to separate theories
less more (0) tip