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