Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Library/Order_Relation.thy
changeset 54551 4cd6deb430c3
parent 54482 a2874c8b3558
equal deleted inserted replaced
54550:6cb97efff0dc 54551:4cd6deb430c3 
   109 
   109 
   110 abbreviation "strict_linear_order \<equiv> strict_linear_order_on UNIV"
 
   110 abbreviation "strict_linear_order \<equiv> strict_linear_order_on UNIV"
 
   111 
   111 
   112 abbreviation "linear_order \<equiv> linear_order_on UNIV"
 
   112 abbreviation "linear_order \<equiv> linear_order_on UNIV"
 
   113 
   113 
   114 abbreviation "well_order r \<equiv> well_order_on UNIV"
 
   114 abbreviation "well_order \<equiv> well_order_on UNIV"
 
   115 
   115 
   116 end
 
   116 end
isabelle