# HG changeset patch
# User wenzelm
# Date 1126797421 -7200
# Node ID 89ccb379942843f9cb4965298be46a59e62336e5
# Parent  e26cb20ef0cc380198e5617e3bc3f8bb8d149fc4
added Hebrew.thy;

diff -r e26cb20ef0cc -r 89ccb3799428 src/HOL/ex/ROOT.ML
--- 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";