--- a/src/HOL/Library/SCT_Interpretation.thy Fri Apr 13 21:26:34 2007 +0200
+++ b/src/HOL/Library/SCT_Interpretation.thy Fri Apr 13 21:26:35 2007 +0200
@@ -3,6 +3,8 @@
Author: Alexander Krauss, TU Muenchen
*)
+header ""
+
theory SCT_Interpretation
imports Main SCT_Misc SCT_Definition
begin