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.
fix typo
authorhuffman
Mon, 12 Sep 2011 14:49:34 -0700
changeset 44910 53650b655b47
parent 44909 1f5d6eb73549
child 44911 884d27ede438
fix typo
CONTRIBUTORS file | annotate | diff | comparison | revisions 
--- a/CONTRIBUTORS	Mon Sep 12 14:39:10 2011 -0700
+++ b/CONTRIBUTORS	Mon Sep 12 14:49:34 2011 -0700
@@ -26,7 +26,7 @@
   sets (cset) via the generic monad ad-hoc overloading facility.
 
 * 2011: Johannes Hölzl, Armin Heller, TUM,
-  and Bogdan Grechuk, Univeristy of Edinburgh
+  and Bogdan Grechuk, University of Edinburgh
   Theory HOL/Library/Extended_Reals: real numbers extended with
   plus and minus infinity.
isabelle