# HG changeset patch
# User haftmann
# Date 1235121271 -3600
# Node ID 74d83bd1897756f22e8f37a596f3d21334ef9fd6
# Parent  f54b48cda28624affd6fba64c1d4eaf66fb0928a
dropped Id

diff -r f54b48cda286 -r 74d83bd18977 src/HOL/Library/Code_Char.thy
--- a/src/HOL/Library/Code_Char.thy	Fri Feb 20 10:14:31 2009 +0100
+++ b/src/HOL/Library/Code_Char.thy	Fri Feb 20 10:14:31 2009 +0100
@@ -1,5 +1,4 @@
 (*  Title:      HOL/Library/Code_Char.thy
-    ID:         $Id$
     Author:     Florian Haftmann
 *)