diff -r 6cef6700c841 -r b5156537067d src/HOL/ex/ROOT.ML
--- a/src/HOL/ex/ROOT.ML	Mon Feb 02 22:16:41 2009 +0100
+++ b/src/HOL/ex/ROOT.ML	Tue Feb 03 07:44:10 2009 +0100
@@ -3,8 +3,6 @@
 Miscellaneous examples for Higher-Order Logic.
 *)
 
-set Toplevel.timing;
-
 no_document use_thys [
   "State_Monad",
   "Efficient_Nat_examples",