HOL/ex/Chinese.thy; PROOFGENERAL_OPTIONS: no longer prefer xemacs;
HOL/ex/Chinese.thy;
PROOFGENERAL_OPTIONS: no longer prefer xemacs;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle