--- a/src/HOL/Word/TdThs.thy Fri Apr 04 13:40:26 2008 +0200
+++ b/src/HOL/Word/TdThs.thy Fri Apr 04 13:40:27 2008 +0200
@@ -8,7 +8,9 @@
header {* Type Definition Theorems *}
-theory TdThs imports Main begin
+theory TdThs
+imports Main
+begin
section "More lemmas about normal type definitions"