isabelle: Changelog

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

paulson [Tue, 20 Sep 2005 13:17:55 +0200] rev 17502

further tidying; killing of old Watcher loops

nipkow [Tue, 20 Sep 2005 13:17:55 +0200] rev 17501

added a number of lemmas

paulson [Tue, 20 Sep 2005 13:17:32 +0200] rev 17500

uniform handling of interrupts

chaieb [Tue, 20 Sep 2005 10:36:33 +0200] rev 17499

algebra method added.

isabelle