--- a/src/HOL/Library/SCT_Misc.thy	Tue Jun 19 00:02:16 2007 +0200
+++ b/src/HOL/Library/SCT_Misc.thy	Tue Jun 19 18:00:49 2007 +0200
@@ -3,7 +3,7 @@
     Author:     Alexander Krauss, TU Muenchen
 *)
 
-header ""   (* FIXME proper header *)
+header {* Miscellaneous Tools for Size-Change Termination *}
 
 theory SCT_Misc   (* FIXME proper name *)
 imports Main