stripped $Id$
authorhaftmann
Thu Apr 23 12:17:51 2009 +0200 (2009-04-23)
changeset 30967b5d67f83576e
parent 30966 55104c664185
child 30968 10fef94f40fc
stripped $Id$
src/HOL/SizeChange/Size_Change_Termination.thy
     1.1 --- a/src/HOL/SizeChange/Size_Change_Termination.thy	Thu Apr 23 12:17:50 2009 +0200
     1.2 +++ b/src/HOL/SizeChange/Size_Change_Termination.thy	Thu Apr 23 12:17:51 2009 +0200
     1.3 @@ -1,5 +1,4 @@
     1.4  (*  Title:      HOL/Library/Size_Change_Termination.thy
     1.5 -    ID:         $Id$
     1.6      Author:     Alexander Krauss, TU Muenchen
     1.7  *)
     1.8