src/HOL/Library/SCT_Interpretation.thy
changeset 22665 cf152ff55d16
parent 22492 43545e640877
child 23374 a2f492c599e0
     1.1 --- a/src/HOL/Library/SCT_Interpretation.thy	Fri Apr 13 21:26:34 2007 +0200
     1.2 +++ b/src/HOL/Library/SCT_Interpretation.thy	Fri Apr 13 21:26:35 2007 +0200
     1.3 @@ -3,6 +3,8 @@
     1.4      Author:     Alexander Krauss, TU Muenchen
     1.5  *)
     1.6  
     1.7 +header ""
     1.8 +
     1.9  theory SCT_Interpretation
    1.10  imports Main SCT_Misc SCT_Definition
    1.11  begin