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