src/HOL/ex/ROOT.ML

--- a/src/HOL/ex/ROOT.ML	Sat Dec 27 17:09:27 2008 +0100
+++ b/src/HOL/ex/ROOT.ML	Sat Dec 27 17:35:00 2008 +0100
@@ -56,7 +56,7 @@
   "set",
   "Meson_Test",
   "Code_Antiq",
-  "LexOrds",
+  "Termination",
   "Coherent"
 ];