1.1 --- a/src/HOL/Library/Code_Char.thy Fri Feb 20 10:14:31 2009 +0100
1.2 +++ b/src/HOL/Library/Code_Char.thy Fri Feb 20 10:14:31 2009 +0100
1.3 @@ -1,5 +1,4 @@
1.4 (* Title: HOL/Library/Code_Char.thy
1.5 - ID: $Id$
1.6 Author: Florian Haftmann
1.7 *)
1.8