src/HOL/ex/Chinese.thy
Fri, 17 Aug 2007 23:10:43 +0200 wenzelm added encoding spec for jEdit;
Wed, 21 Sep 2005 13:16:40 +0200 wenzelm isatool fixheaders;
Tue, 20 Sep 2005 13:56:34 +0200 wenzelm Chinese Unicode example;
less more (0) tip