Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Library/size_change_termination.ML
changeset 22371 c9f5895972b0
parent 22370 44679bbcf43b 
--- a/src/HOL/Library/size_change_termination.ML	Wed Feb 28 10:36:10 2007 +0100
+++ b/src/HOL/Library/size_change_termination.ML	Wed Feb 28 11:12:12 2007 +0100
@@ -1,3 +1,7 @@
+(*  Title:      HOL/Library/size_change_termination.ML
+    ID:         $Id$
+    Author:     Alexander Krauss, TU Muenchen
+*)
 
 structure SCT = struct
isabelle