# HG changeset patch
# User wenzelm
# Date 1224192083 -7200
# Node ID 3a4ed60b6b7e5c931588db5a659dd4a42101eb58
# Parent  c5a915b453906f61108cb139001019662712a810
removed Locales;

diff -r c5a915b45390 -r 3a4ed60b6b7e src/HOL/ex/ROOT.ML
--- a/src/HOL/ex/ROOT.ML	Thu Oct 16 22:45:08 2008 +0200
+++ b/src/HOL/ex/ROOT.ML	Thu Oct 16 23:21:23 2008 +0200
@@ -31,7 +31,6 @@
   "Fundefs",
   "Induction_Scheme",
   "InductiveInvariant_examples",
-  "Locales",
   "LocaleTest2",
   "Records",
   "MonoidGroup",