CONTRIBUTORS
changeset 30383 ee2c7592e59f
parent 30179 c703c9368c12
child 30886 dda08b76fa99
equal deleted inserted replaced
30382:910290f04692 30383:ee2c7592e59f
     4 distribution.
     4 distribution.
     5 
     5 
     6 
     6 
     7 Contributions to this Isabelle version
     7 Contributions to this Isabelle version
     8 --------------------------------------
     8 --------------------------------------
       
     9 
       
    10 * March 2009: Robert Himmelmann, TUM and Amine Chaieb, University of
       
    11   Cambridge
       
    12   Elementary topology in Euclidean space.
     9 
    13 
    10 * February 2009: Filip Maric, Univ. of Belgrade
    14 * February 2009: Filip Maric, Univ. of Belgrade
    11   A Serbian theory.
    15   A Serbian theory.
    12 
    16 
    13 * February 2009: Jasmin Christian Blanchette, TUM
    17 * February 2009: Jasmin Christian Blanchette, TUM