tuned comments;
authorwenzelm
Wed Jun 13 18:30:15 2007 +0200 (2007-06-13)
changeset 23374a2f492c599e0
parent 23373 ead82c82da9e
child 23375 45cd7db985b3
tuned comments;
src/HOL/Library/SCT_Definition.thy
src/HOL/Library/SCT_Examples.thy
src/HOL/Library/SCT_Implementation.thy
src/HOL/Library/SCT_Interpretation.thy
src/HOL/Library/Size_Change_Termination.thy
     1.1 --- a/src/HOL/Library/SCT_Definition.thy	Wed Jun 13 18:30:11 2007 +0200
     1.2 +++ b/src/HOL/Library/SCT_Definition.thy	Wed Jun 13 18:30:15 2007 +0200
     1.3 @@ -3,7 +3,7 @@
     1.4      Author:     Alexander Krauss, TU Muenchen
     1.5  *)
     1.6  
     1.7 -header ""
     1.8 +header ""   (* FIXME proper header *)
     1.9  
    1.10  theory SCT_Definition
    1.11  imports Graphs Infinite_Set
     2.1 --- a/src/HOL/Library/SCT_Examples.thy	Wed Jun 13 18:30:11 2007 +0200
     2.2 +++ b/src/HOL/Library/SCT_Examples.thy	Wed Jun 13 18:30:15 2007 +0200
     2.3 @@ -3,7 +3,7 @@
     2.4      Author:     Alexander Krauss, TU Muenchen
     2.5  *)
     2.6  
     2.7 -header ""
     2.8 +header ""   (* FIXME proper header *)
     2.9  
    2.10  theory SCT_Examples
    2.11  imports Size_Change_Termination
     3.1 --- a/src/HOL/Library/SCT_Implementation.thy	Wed Jun 13 18:30:11 2007 +0200
     3.2 +++ b/src/HOL/Library/SCT_Implementation.thy	Wed Jun 13 18:30:15 2007 +0200
     3.3 @@ -3,7 +3,7 @@
     3.4      Author:     Alexander Krauss, TU Muenchen
     3.5  *)
     3.6  
     3.7 -header ""
     3.8 +header ""   (* FIXME proper header *)
     3.9  
    3.10  theory SCT_Implementation
    3.11  imports ExecutableSet SCT_Definition
     4.1 --- a/src/HOL/Library/SCT_Interpretation.thy	Wed Jun 13 18:30:11 2007 +0200
     4.2 +++ b/src/HOL/Library/SCT_Interpretation.thy	Wed Jun 13 18:30:15 2007 +0200
     4.3 @@ -3,7 +3,7 @@
     4.4      Author:     Alexander Krauss, TU Muenchen
     4.5  *)
     4.6  
     4.7 -header ""
     4.8 +header ""   (* FIXME proper header *)
     4.9  
    4.10  theory SCT_Interpretation
    4.11  imports Main SCT_Misc SCT_Definition
     5.1 --- a/src/HOL/Library/Size_Change_Termination.thy	Wed Jun 13 18:30:11 2007 +0200
     5.2 +++ b/src/HOL/Library/Size_Change_Termination.thy	Wed Jun 13 18:30:15 2007 +0200
     5.3 @@ -3,7 +3,7 @@
     5.4      Author:     Alexander Krauss, TU Muenchen
     5.5  *)
     5.6  
     5.7 -header ""
     5.8 +header ""   (* FIXME proper header *)
     5.9  
    5.10  theory Size_Change_Termination
    5.11  imports SCT_Theorem SCT_Interpretation SCT_Implementation