CONTRIBUTORS
changeset 44901 ed5ddf9fcc77
parent 44900 1a4ea8c5399a
child 44908 f05bff62f8a6
     1.1 --- a/CONTRIBUTORS	Mon Sep 12 13:35:35 2011 +0200
     1.2 +++ b/CONTRIBUTORS	Mon Sep 12 09:57:33 2011 -0400
     1.3 @@ -25,6 +25,11 @@
     1.4    Theory HOL/Library/Cset_Monad allows do notation for computable
     1.5    sets (cset) via the generic monad ad-hoc overloading facility.
     1.6  
     1.7 +* 2011: Johannes Hölzl, Armin Heller, TUM,
     1.8 +  and Bogdan Grechuk, Univeristy of Edinburgh
     1.9 +  Theory HOL/Library/Extended_Reals: real numbers extended with
    1.10 +  plus and minus infinity.
    1.11 +
    1.12  Contributions to Isabelle2011
    1.13  -----------------------------
    1.14