src/HOL/Library/Code_Char.thy
changeset 42231 bc1891226d00
parent 39272 0b61951d2682
child 42316 12635bb655fd
--- 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