# HG changeset patch
# User wenzelm
# Date 1127217428 -7200
# Node ID f20e5c8433a4ca8aad2af9613f96b6c624031dc2
# Parent  928bd7053d6a85edd3da4c8c38239c715a5c2376
tuned;

diff -r 928bd7053d6a -r f20e5c8433a4 src/HOL/ex/Hebrew.thy
--- 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