Mercurial Mercurial > repos > isabelle / diff
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/Relation.thy
changeset 57111 de33f3965ca6
parent 56790 f54097170704
child 58195 1fee63e0377d 
--- a/src/HOL/Relation.thy	Wed May 28 19:18:18 2014 +0200
+++ b/src/HOL/Relation.thy	Thu May 29 11:11:22 2014 +0200
@@ -456,7 +456,7 @@
   "single_valued r ==> (x, y) : r ==> (x, z) : r ==> y = z"
   by (simp add: single_valued_def)
 
-lemma simgle_valued_empty[simp]: "single_valued {}"
+lemma single_valued_empty[simp]: "single_valued {}"
 by(simp add: single_valued_def)
 
 lemma single_valued_subset:
isabelle