isabelle: Changelog

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.

haftmann [Tue, 20 Sep 2005 08:24:18 +0200] rev 17498

improved eq_fst and eq_snd, removed some deprecated stuff

haftmann [Tue, 20 Sep 2005 08:23:59 +0200] rev 17497

added make and find

isabelle