# HG changeset patch
# User wenzelm
# Date 1181752215 -7200
# Node ID a2f492c599e09f8224b50a65711f4346b00d8ff7
# Parent  ead82c82da9e9343e409c2af7dda50a79d9374be
tuned comments;

diff -r ead82c82da9e -r a2f492c599e0 src/HOL/Library/SCT_Definition.thy
--- a/src/HOL/Library/SCT_Definition.thy	Wed Jun 13 18:30:11 2007 +0200
+++ b/src/HOL/Library/SCT_Definition.thy	Wed Jun 13 18:30:15 2007 +0200
@@ -3,7 +3,7 @@
     Author:     Alexander Krauss, TU Muenchen
 *)
 
-header ""
+header ""   (* FIXME proper header *)
 
 theory SCT_Definition
 imports Graphs Infinite_Set
diff -r ead82c82da9e -r a2f492c599e0 src/HOL/Library/SCT_Examples.thy
--- a/src/HOL/Library/SCT_Examples.thy	Wed Jun 13 18:30:11 2007 +0200
+++ b/src/HOL/Library/SCT_Examples.thy	Wed Jun 13 18:30:15 2007 +0200
@@ -3,7 +3,7 @@
     Author:     Alexander Krauss, TU Muenchen
 *)
 
-header ""
+header ""   (* FIXME proper header *)
 
 theory SCT_Examples
 imports Size_Change_Termination
diff -r ead82c82da9e -r a2f492c599e0 src/HOL/Library/SCT_Implementation.thy
--- a/src/HOL/Library/SCT_Implementation.thy	Wed Jun 13 18:30:11 2007 +0200
+++ b/src/HOL/Library/SCT_Implementation.thy	Wed Jun 13 18:30:15 2007 +0200
@@ -3,7 +3,7 @@
     Author:     Alexander Krauss, TU Muenchen
 *)
 
-header ""
+header ""   (* FIXME proper header *)
 
 theory SCT_Implementation
 imports ExecutableSet SCT_Definition
diff -r ead82c82da9e -r a2f492c599e0 src/HOL/Library/SCT_Interpretation.thy
--- a/src/HOL/Library/SCT_Interpretation.thy	Wed Jun 13 18:30:11 2007 +0200
+++ b/src/HOL/Library/SCT_Interpretation.thy	Wed Jun 13 18:30:15 2007 +0200
@@ -3,7 +3,7 @@
     Author:     Alexander Krauss, TU Muenchen
 *)
 
-header ""
+header ""   (* FIXME proper header *)
 
 theory SCT_Interpretation
 imports Main SCT_Misc SCT_Definition
diff -r ead82c82da9e -r a2f492c599e0 src/HOL/Library/Size_Change_Termination.thy
--- a/src/HOL/Library/Size_Change_Termination.thy	Wed Jun 13 18:30:11 2007 +0200
+++ b/src/HOL/Library/Size_Change_Termination.thy	Wed Jun 13 18:30:15 2007 +0200
@@ -3,7 +3,7 @@
     Author:     Alexander Krauss, TU Muenchen
 *)
 
-header ""
+header ""   (* FIXME proper header *)
 
 theory Size_Change_Termination
 imports SCT_Theorem SCT_Interpretation SCT_Implementation