changeset 46506 | c7faa011bfa7 |
parent 44890 | 22f665a2e91c |
child 46512 | 4f9f61f9b535 |
--- a/src/HOL/Proofs/Lambda/Commutation.thy Thu Feb 16 17:09:15 2012 +0100 +++ b/src/HOL/Proofs/Lambda/Commutation.thy Thu Feb 16 22:18:28 2012 +0100 @@ -7,7 +7,7 @@ theory Commutation imports Main begin -declare [[syntax_ambiguity_level = 100]] +declare [[syntax_ambiguity = ignore]] subsection {* Basic definitions *}