changeset 44910 | 53650b655b47 |
parent 44908 | f05bff62f8a6 |
child 44967 | b94c1614e7d5 |
--- 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.