# 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",