changeset 27368 | 9f90ac19e32b |
parent 25965 | 05df64f786a4 |
child 27487 | c8a6ce181805 |
--- a/src/HOL/Library/Code_Char.thy Thu Jun 26 10:06:54 2008 +0200 +++ b/src/HOL/Library/Code_Char.thy Thu Jun 26 10:07:01 2008 +0200 @@ -6,7 +6,7 @@ header {* Code generation of pretty characters (and strings) *} theory Code_Char -imports List +imports Plain List begin declare char.recs [code func del] char.cases [code func del]