src/HOL/ex/Chinese.thy
changeset 24312 bb5ec06f7c7a
parent 17553 d7b304d05956
child 39246 9e58f0499f57
--- a/src/HOL/ex/Chinese.thy	Fri Aug 17 23:10:42 2007 +0200
+++ b/src/HOL/ex/Chinese.thy	Fri Aug 17 23:10:43 2007 +0200
@@ -1,4 +1,4 @@
-(* -*- coding: utf-8 -*-
+(* -*- coding: utf-8 -*- :encoding=utf-8:
     ID:         $Id$
     Author:     Ning Zhang and Christian Urban