src/HOL/Library/Library.thy

--- a/src/HOL/Library/Library.thy	Thu Apr 26 13:32:55 2007 +0200
+++ b/src/HOL/Library/Library.thy	Thu Apr 26 13:32:59 2007 +0200
@@ -24,6 +24,8 @@
   OptionalSugar
   Parity
   Permutation
+  Pretty_Char_chr
+  Pretty_Int
   Primes
   Quotient
   Ramsey