--- a/src/HOL/ex/ROOT.ML Thu Aug 18 16:52:19 2011 +0900 +++ b/src/HOL/ex/ROOT.ML Thu Aug 18 13:10:24 2011 +0200 @@ -48,7 +48,7 @@ "Primrec", "Tarski", "Classical", - "set", + "Set_Theory", "Meson_Test", "Termination", "Coherent",