changeset 49446 | 6efff142bb54 |
parent 43469 | 85ca44488a29 |
child 52297 | 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