diff -r 70e42a88be37 -r c703c9368c12 CONTRIBUTORS
--- a/CONTRIBUTORS	Sat Feb 28 20:29:20 2009 +0100
+++ b/CONTRIBUTORS	Sat Feb 28 21:34:33 2009 +0100
@@ -7,6 +7,9 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* February 2009: Filip Maric, Univ. of Belgrade
+  A Serbian theory.
+
 * February 2009: Jasmin Christian Blanchette, TUM
   Misc cleanup of HOL/refute.
 
@@ -52,7 +55,7 @@
   HOLCF library improvements.
 
 * 2007/2008: Stefan Berghofer, TUM
-  HOL-Nominal package improvements.  
+  HOL-Nominal package improvements.
 
 * March 2008: Markus Reiter, TUM
   HOL/Library/RBT: red-black trees.