Enable show_hyps, which appears to be set in batch mode but in an interactive session.

--- a/src/FOL/ex/Locale_Test/Locale_Test1.thy	Sat Dec 18 18:43:13 2010 +0100
+++ b/src/FOL/ex/Locale_Test/Locale_Test1.thy	Sat Dec 18 18:43:14 2010 +0100
@@ -156,6 +156,8 @@
     end;
 *}
 
+local_setup {* Config.put show_hyps true *}
+
 ML {*
   check_syntax @{context} @{thm d1_def} "d1(?x) <-> ~ p2(p1(?x))";
   check_syntax @{context} @{thm d2_def} "d2(?x) <-> ~ p2(?x)";