--- a/src/HOL/Proofs/Lambda/ListOrder.thy Thu Feb 16 17:09:15 2012 +0100
+++ b/src/HOL/Proofs/Lambda/ListOrder.thy Thu Feb 16 22:18:28 2012 +0100
@@ -7,7 +7,7 @@
theory ListOrder imports Main begin
-declare [[syntax_ambiguity_level = 100]]
+declare [[syntax_ambiguity = ignore]]
text {*