isabelle: Changelog

nipkow [Fri, 13 Nov 2009 19:49:13 +0100] rev 33674

merged

nipkow [Fri, 13 Nov 2009 19:48:32 +0100] rev 33673

wenzelm [Fri, 13 Nov 2009 21:24:15 +0100] rev 33672

updated Local_Theory and Theory_Target;

wenzelm [Fri, 13 Nov 2009 21:11:15 +0100] rev 33671

modernized structure Local_Theory;

wenzelm [Fri, 13 Nov 2009 20:41:29 +0100] rev 33670

eliminated slightly odd kind argument of LocalTheory.note(s); added LocalTheory.notes_kind as fall-back for unusual cases;

wenzelm [Fri, 13 Nov 2009 19:57:46 +0100] rev 33669

inductive: eliminated obsolete kind;

paulson [Fri, 13 Nov 2009 17:15:35 +0000] rev 33668

merged

paulson [Fri, 13 Nov 2009 17:15:12 +0000] rev 33667

A little rationalisation

wenzelm [Fri, 13 Nov 2009 17:25:09 +0100] rev 33666

eliminated obsolete "generated" kind -- collapsed to unspecific "" (definitely unused according to Lukas Bulwahn);

boehmes [Fri, 13 Nov 2009 15:48:52 +0100] rev 33665

merged

isabelle