src/HOL/Library/Code_Char.thy

--- a/src/HOL/Library/Code_Char.thy	Mon Jul 23 09:26:55 2012 +0200
+++ b/src/HOL/Library/Code_Char.thy	Mon Jul 23 09:28:03 2012 +0200
@@ -11,7 +11,7 @@
 code_type char
   (SML "char")
   (OCaml "char")
-  (Haskell "Char")
+  (Haskell "Prelude.Char")
   (Scala "Char")
 
 setup {*
@@ -58,7 +58,4 @@
   (Haskell "_")
   (Scala "!(_.toList)")
 
-
-(*declare Quickcheck_Exhaustive.char.bounded_forall_char.simps [code del]*)
-
 end