# HG changeset patch
# User blanchet
# Date 1385066014 -3600
# Node ID 4cd6deb430c3168db3b84afc79110ed345268de0
# Parent  6cb97efff0dc25ffdc7d3cac20c838b896032890
fixed apparent copy-paste bug

diff -r 6cb97efff0dc -r 4cd6deb430c3 src/HOL/Library/Order_Relation.thy
--- a/src/HOL/Library/Order_Relation.thy	Thu Nov 21 19:13:49 2013 +0100
+++ b/src/HOL/Library/Order_Relation.thy	Thu Nov 21 21:33:34 2013 +0100
@@ -111,6 +111,6 @@
 
 abbreviation "linear_order \<equiv> linear_order_on UNIV"
 
-abbreviation "well_order r \<equiv> well_order_on UNIV"
+abbreviation "well_order \<equiv> well_order_on UNIV"
 
 end