src/HOL/Library/Char_nat.thy
2007-04-26 haftmann 2007-04-26 moved code generation pretty integers and characters to separate theories