Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
stripped $Id$
authorhaftmann
Thu, 23 Apr 2009 12:17:51 +0200
changeset 30967 b5d67f83576e
parent 30966 55104c664185
child 30968 10fef94f40fc
stripped $Id$
src/HOL/SizeChange/Size_Change_Termination.thy file | annotate | diff | comparison | revisions 
--- 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
 *)
isabelle