CONTRIBUTORS
changeset 38656 d5d342611edb
parent 38461 75fc4087764e
child 39644 ad436fa9fc5b
     1.1 --- a/CONTRIBUTORS	Mon Aug 23 17:46:13 2010 +0200
     1.2 +++ b/CONTRIBUTORS	Mon Aug 23 19:35:57 2010 +0200
     1.3 @@ -6,6 +6,9 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* August 2010: Johannes Hoelzl, Armin Heller, and Robert Himmelmann, TUM
     1.8 +  Rewriting the Probability theory.
     1.9 +
    1.10  * July 2010: Florian Haftmann, TUM
    1.11    Reworking and extension of the Isabelle/HOL framework.
    1.12