src/HOL/ex/Serbian.thy
2010-12-06 wenzelm 2010-12-06 avoid explicit encoding -- acknowledge UTF-8 as global default and Isabelle/jEdit preference of UTF-8-Isabelle;
2009-02-28 wenzelm 2009-02-28 A Serbian theory, by Filip Maric.