Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fixed apparent copy-paste bug
authorblanchet
Thu, 21 Nov 2013 21:33:34 +0100
changeset 54551 4cd6deb430c3
parent 54550 6cb97efff0dc
child 54552 5d57cbec0f0f
fixed apparent copy-paste bug
src/HOL/Library/Order_Relation.thy file | annotate | diff | comparison | revisions 
--- 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
isabelle