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.
tuned spelling;
authorwenzelm
Fri, 02 May 2014 19:28:32 +0200
changeset 56828 08041569357e
parent 56827 853f1bcc3755
child 56829 f151ade98b15
tuned spelling;
src/HOL/Library/Function_Algebras.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Library/Function_Algebras.thy	Fri May 02 18:54:47 2014 +0200
+++ b/src/HOL/Library/Function_Algebras.thy	Fri May 02 19:28:32 2014 +0200
@@ -176,7 +176,7 @@
 instance "fun" :: (type, ring_char_0) ring_char_0 ..
 
 
-text {* Ordereded structures *}
+text {* Ordered structures *}
 
 instance "fun" :: (type, ordered_ab_semigroup_add) ordered_ab_semigroup_add
   by default (auto simp add: le_fun_def intro: add_left_mono)
isabelle