--- a/src/HOL/ex/ROOT.ML Sun Feb 01 19:58:02 2009 +0100
+++ b/src/HOL/ex/ROOT.ML Sun Feb 01 19:59:04 2009 +0100
@@ -3,6 +3,8 @@
Miscellaneous examples for Higher-Order Logic.
*)
+set Toplevel.timing;
+
no_document use_thys [
"State_Monad",
"Efficient_Nat_examples",