CONTRIBUTORS
changeset 30179 c703c9368c12
parent 30162 097673d2e50f
child 30383 ee2c7592e59f
     1.1 --- a/CONTRIBUTORS	Sat Feb 28 20:29:20 2009 +0100
     1.2 +++ b/CONTRIBUTORS	Sat Feb 28 21:34:33 2009 +0100
     1.3 @@ -7,6 +7,9 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* February 2009: Filip Maric, Univ. of Belgrade
     1.8 +  A Serbian theory.
     1.9 +
    1.10  * February 2009: Jasmin Christian Blanchette, TUM
    1.11    Misc cleanup of HOL/refute.
    1.12  
    1.13 @@ -52,7 +55,7 @@
    1.14    HOLCF library improvements.
    1.15  
    1.16  * 2007/2008: Stefan Berghofer, TUM
    1.17 -  HOL-Nominal package improvements.  
    1.18 +  HOL-Nominal package improvements.
    1.19  
    1.20  * March 2008: Markus Reiter, TUM
    1.21    HOL/Library/RBT: red-black trees.