isabelle: Changelog

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;

wenzelm [Tue, 20 Sep 2005 13:56:01 +0200] rev 17504

tuned proofs;

chaieb [Tue, 20 Sep 2005 13:33:27 +0200] rev 17503

The simpset of the actual theory is take, in order to handle rings defined after the method

isabelle