src/HOL/ex/ROOT.ML

--- a/src/HOL/ex/ROOT.ML	Thu Aug 02 12:06:29 2007 +0200
+++ b/src/HOL/ex/ROOT.ML	Thu Aug 02 15:44:37 2007 +0200
@@ -46,7 +46,7 @@
 time_use_thy "Intuitionistic";
 time_use_thy "Classical";
 time_use_thy "CTL";
-time_use_thy "mesontest2";
+time_use_thy "Meson_Test";
 time_use_thy "Arith_Examples";
 time_use_thy "Dense_Linear_Order_Ex";
 time_use_thy "PresburgerEx";