src/HOL/Proofs/Lambda/ListOrder.thy
changeset 46512 4f9f61f9b535
parent 46506 c7faa011bfa7
child 54295 45a5523d4a63
     1.1 --- a/src/HOL/Proofs/Lambda/ListOrder.thy	Fri Feb 17 11:24:39 2012 +0100
     1.2 +++ b/src/HOL/Proofs/Lambda/ListOrder.thy	Fri Feb 17 15:42:26 2012 +0100
     1.3 @@ -7,7 +7,7 @@
     1.4  
     1.5  theory ListOrder imports Main begin
     1.6  
     1.7 -declare [[syntax_ambiguity = ignore]]
     1.8 +declare [[syntax_ambiguity_warning = false]]
     1.9  
    1.10  
    1.11  text {*