changeset 54551 | 4cd6deb430c3 |
parent 54482 | a2874c8b3558 |
--- 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