
diff -r 594480d25aaa -r bc1891226d00 src/HOL/Library/Code_Char.thy
--- a/src/HOL/Library/Code_Char.thy	Tue Apr 05 09:38:23 2011 +0200
+++ b/src/HOL/Library/Code_Char.thy	Tue Apr 05 09:38:28 2011 +0200
@@ -58,4 +58,7 @@
   (Haskell "_")
   (Scala "!(_.toList)")
 
+
+declare Quickcheck_Exhaustive.char.bounded_forall_char.simps [code del]
+
 end




