# HG changeset patch
# User haftmann
# Date 1233514744 -3600
# Node ID 83cd29013f7e86634f403a39277a579fcce9b78b
# Parent  a7512f22e916a4d05a6a156e3e4d3921a86b44df
added State_Monad theory in session

diff -r a7512f22e916 -r 83cd29013f7e src/HOL/ex/ROOT.ML
--- 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",