src/HOL/Library/Code_Char.thy
changeset 48431 6efff142bb54
parent 42598 85ca44488a29
child 51160 599ff65b85e2
     1.1 --- a/src/HOL/Library/Code_Char.thy	Mon Jul 23 09:26:55 2012 +0200
     1.2 +++ b/src/HOL/Library/Code_Char.thy	Mon Jul 23 09:28:03 2012 +0200
     1.3 @@ -11,7 +11,7 @@
     1.4  code_type char
     1.5    (SML "char")
     1.6    (OCaml "char")
     1.7 -  (Haskell "Char")
     1.8 +  (Haskell "Prelude.Char")
     1.9    (Scala "Char")
    1.10  
    1.11  setup {*
    1.12 @@ -58,7 +58,4 @@
    1.13    (Haskell "_")
    1.14    (Scala "!(_.toList)")
    1.15  
    1.16 -
    1.17 -(*declare Quickcheck_Exhaustive.char.bounded_forall_char.simps [code del]*)
    1.18 -
    1.19  end