isabelle: Changelog

paulson [Mon, 23 Jul 2001 17:46:40 +0200] rev 11447

new GroupTheory examples; PiSets moved to GroupTheory, while LocaleGroup deleted

paulson [Mon, 23 Jul 2001 17:45:54 +0200] rev 11446

improved version of the Pi-theorems

paulson [Mon, 23 Jul 2001 17:45:35 +0200] rev 11445

PiSets moved to GroupTheory, while LocaleGroup deleted

paulson [Mon, 23 Jul 2001 17:45:07 +0200] rev 11444

live links

paulson [Mon, 23 Jul 2001 17:37:29 +0200] rev 11443

The final version of Florian Kammueller's proofs

oheimb [Mon, 23 Jul 2001 13:50:23 +0200] rev 11442

slight improvement for iff attribute

wenzelm [Sun, 22 Jul 2001 21:31:37 +0200] rev 11441

replaced SOME by THE;

wenzelm [Sun, 22 Jul 2001 21:31:00 +0200] rev 11440

the_equality [intro];

wenzelm [Sun, 22 Jul 2001 21:30:21 +0200] rev 11439

tuned;

wenzelm [Sun, 22 Jul 2001 21:30:05 +0200] rev 11438

declare trans [trans] (*overridden in theory Calculation*);

isabelle