1.1 --- a/src/HOL/Library/Code_Char.thy	Tue Apr 05 09:38:23 2011 +0200
     1.2 +++ b/src/HOL/Library/Code_Char.thy	Tue Apr 05 09:38:28 2011 +0200
     1.3 @@ -58,4 +58,7 @@
     1.4    (Haskell "_")
     1.5    (Scala "!(_.toList)")
     1.6  
     1.7 +
     1.8 +declare Quickcheck_Exhaustive.char.bounded_forall_char.simps [code del]
     1.9 +
    1.10  end