# HG changeset patch
# User ballarin
# Date 1292694194 -3600
# Node ID 6da953d30f48ea5618b954c9ea2d968a977a3ab2
# Parent  dea60d05292387aed80aafe5d348ae788ab5e0be
Enable show_hyps, which appears to be set in batch mode but in an interactive session.

diff -r dea60d052923 -r 6da953d30f48 src/FOL/ex/Locale_Test/Locale_Test1.thy
--- 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)";