Enable show_hyps, which appears to be set in batch mode but in an interactive session.
authorballarin
Sat, 18 Dec 2010 18:43:14 +0100
changeset 41271 6da953d30f48
parent 41270 dea60d052923
child 41272 b806a7678083
Enable show_hyps, which appears to be set in batch mode but in an interactive session.
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)";