--- a/src/HOL/ex/Hebrew.thy Tue Sep 20 13:56:34 2005 +0200 +++ b/src/HOL/ex/Hebrew.thy Tue Sep 20 13:57:08 2005 +0200 @@ -6,6 +6,8 @@ formal and informal ones. *) +header {* A Hebrew theory *} + theory Hebrew imports Main begin