src/HOL/Library/SCT_Interpretation.thy
changeset 23374 a2f492c599e0
parent 22665 cf152ff55d16
child 23394 474ff28210c0
     1.1 --- a/src/HOL/Library/SCT_Interpretation.thy	Wed Jun 13 18:30:11 2007 +0200
     1.2 +++ b/src/HOL/Library/SCT_Interpretation.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_Interpretation
    1.11  imports Main SCT_Misc SCT_Definition