tuned;
authorwenzelm
Tue Sep 20 13:57:08 2005 +0200 (2005-09-20)
changeset 17506f20e5c8433a4
parent 17505 928bd7053d6a
child 17507 507e519a0dad
tuned;
src/HOL/ex/Hebrew.thy
     1.1 --- a/src/HOL/ex/Hebrew.thy	Tue Sep 20 13:56:34 2005 +0200
     1.2 +++ b/src/HOL/ex/Hebrew.thy	Tue Sep 20 13:57:08 2005 +0200
     1.3 @@ -6,6 +6,8 @@
     1.4  formal and informal ones.
     1.5  *)
     1.6  
     1.7 +header {* A Hebrew theory *}
     1.8 +
     1.9  theory Hebrew
    1.10  imports Main
    1.11  begin