src/HOL/ex/Serbian.thy
2009-02-28 wenzelm 2009-02-28 A Serbian theory, by Filip Maric.