1.1 --- a/src/HOL/ex/Chinese.thy	Fri Aug 17 23:10:42 2007 +0200
     1.2 +++ b/src/HOL/ex/Chinese.thy	Fri Aug 17 23:10:43 2007 +0200
     1.3 @@ -1,4 +1,4 @@
     1.4 -(* -*- coding: utf-8 -*-
     1.5 +(* -*- coding: utf-8 -*- :encoding=utf-8:
     1.6      ID:         $Id$
     1.7      Author:     Ning Zhang and Christian Urban
     1.8  

     2.1 --- a/src/HOL/ex/Hebrew.thy	Fri Aug 17 23:10:42 2007 +0200
     2.2 +++ b/src/HOL/ex/Hebrew.thy	Fri Aug 17 23:10:43 2007 +0200
     2.3 @@ -1,4 +1,4 @@
     2.4 -(* -*- coding: utf-8 -*-  
     2.5 +(* -*- coding: utf-8 -*- :encoding=utf-8:  
     2.6      ID:         $Id$
     2.7      Author:     Makarius
     2.8