| changeset 46512 | 4f9f61f9b535 |
| parent 46506 | c7faa011bfa7 |
| child 58372 | bfd497f2f4c2 |
--- a/src/HOL/Proofs/Lambda/Commutation.thy Fri Feb 17 11:24:39 2012 +0100 +++ b/src/HOL/Proofs/Lambda/Commutation.thy Fri Feb 17 15:42:26 2012 +0100 @@ -7,7 +7,7 @@ theory Commutation imports Main begin -declare [[syntax_ambiguity = ignore]] +declare [[syntax_ambiguity_warning = false]] subsection {* Basic definitions *}