isabelle: Changelog

wenzelm [Tue, 20 Sep 2005 14:04:34 +0200] rev 17514

TextIO.inputLine: handle IO.Io, assuming it stems from a signal;

wenzelm [Tue, 20 Sep 2005 14:03:42 +0200] rev 17513

get_interrupt: special handling of IO.io now in ML-Systems/smlnj-basis-compat.ML;

wenzelm [Tue, 20 Sep 2005 14:03:41 +0200] rev 17512

removed obsolete thms_containing;

wenzelm [Tue, 20 Sep 2005 14:03:40 +0200] rev 17511

tuned;

wenzelm [Tue, 20 Sep 2005 14:03:39 +0200] rev 17510

tuned simprocs;

wenzelm [Tue, 20 Sep 2005 14:03:38 +0200] rev 17509

removed Commutative_Ring hacks;

wenzelm [Tue, 20 Sep 2005 14:03:37 +0200] rev 17508

tuned theory dependencies;

wenzelm [Tue, 20 Sep 2005 13:58:58 +0200] rev 17507

removed Commutative_Ring.thy, added HOL/ex/Chinese.thy;

wenzelm [Tue, 20 Sep 2005 13:57:08 +0200] rev 17506

tuned;

wenzelm [Tue, 20 Sep 2005 13:56:34 +0200] rev 17505

Chinese Unicode example;

isabelle