History log of /seL4-l4v-master/isabelle/src/HOL/ex/Chinese.thy
Revision Date Author Comments
# ee8e8234 06-Oct-2015 wenzelm <none@none>

isabelle update_cartouches;
# 794edf80 02-Nov-2014 wenzelm <none@none>

modernized header uniformly as section;
# 5fc26177 11-Sep-2014 blanchet <none@none>

updated news
# d2ddb3a1 09-Sep-2014 blanchet <none@none>

use 'datatype_new' (soon to be renamed 'datatype') in Isabelle's libraries
# d142ff01 06-Dec-2010 wenzelm <none@none>

avoid explicit encoding -- acknowledge UTF-8 as global default and Isabelle/jEdit preference of UTF-8-Isabelle;
# 077493ab 08-Sep-2010 haftmann <none@none>

modernized primrec
# cb399fb5 17-Aug-2007 wenzelm <none@none>

added encoding spec for jEdit;
# f50f936f 21-Sep-2005 wenzelm <none@none>

isatool fixheaders;
# 5a638a26 20-Sep-2005 wenzelm <none@none>

Chinese Unicode example;