diff -r 23a8c5ac35f8 -r 69916a850301 src/HOL/MicroJava/Comp/CorrComp.thy
--- a/src/HOL/MicroJava/Comp/CorrComp.thy	Sat Oct 17 01:05:59 2009 +0200
+++ b/src/HOL/MicroJava/Comp/CorrComp.thy	Sat Oct 17 14:43:18 2009 +0200
@@ -1,5 +1,4 @@
 (*  Title:      HOL/MicroJava/Comp/CorrComp.thy
-    ID:         $Id$
     Author:     Martin Strecker
 *)