author | ballarin |
Sat, 18 Dec 2010 18:43:14 +0100 | |
changeset 41271 | 6da953d30f48 |
parent 41270 | dea60d052923 |
child 41272 | b806a7678083 |
--- 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)";