# HG changeset patch
# User haftmann
# Date 1233643450 -3600
# Node ID b5156537067ddfabc28c347225ebe07757a434c4
# Parent  6cef6700c841dd793c5f7eae36b71ccfb5d68f15
repaired accidental commit

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