# HG changeset patch
# User haftmann
# Date 1240481871 -7200
# Node ID b5d67f83576e0261d7aed214b71e3175ce1c6712
# Parent  55104c66418597d636e6c59925e2010f326606ff
stripped $Id$

diff -r 55104c664185 -r b5d67f83576e src/HOL/SizeChange/Size_Change_Termination.thy
--- a/src/HOL/SizeChange/Size_Change_Termination.thy	Thu Apr 23 12:17:50 2009 +0200
+++ b/src/HOL/SizeChange/Size_Change_Termination.thy	Thu Apr 23 12:17:51 2009 +0200
@@ -1,5 +1,4 @@
 (*  Title:      HOL/Library/Size_Change_Termination.thy
-    ID:         $Id$
     Author:     Alexander Krauss, TU Muenchen
 *)