src/HOL/Bali/ROOT.ML

--- a/src/HOL/Bali/ROOT.ML	Thu Aug 29 16:15:11 2002 +0200
+++ b/src/HOL/Bali/ROOT.ML	Fri Aug 30 16:42:45 2002 +0200
@@ -1,4 +1,4 @@
-
+set timing;
 update_thy "AxExample";
 update_thy "AxSound";
 update_thy "AxCompl";