added Hebrew.thy;

--- a/src/HOL/ex/ROOT.ML	Thu Sep 15 17:16:56 2005 +0200
+++ b/src/HOL/ex/ROOT.ML	Thu Sep 15 17:17:01 2005 +0200
@@ -32,7 +32,6 @@
 time_use_thy "MergeSort";
 time_use_thy "Puzzle";
 
-
 time_use_thy "Lagrange";
 time_use_thy "Commutative_RingEx";
 time_use_thy "Commutative_Ring_Complete";
@@ -52,3 +51,4 @@
 no_document use_thy "Word";
 time_use_thy "Adder";
 
+no_document time_use_thy "Hebrew";