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