src/HOL/Bali/ROOT.ML
changeset 13550 5a176b8dda84
parent 13337 f75dfc606ac7
child 14030 cd928c0ac225
--- 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";