isabelle: Changelog

haftmann [Tue, 26 Mar 2013 22:09:39 +0100] rev 51547

avoid odd foundational terms after interpretation; more uniform code setup

haftmann [Tue, 26 Mar 2013 21:53:56 +0100] rev 51546

more uniform style for interpretation and sublocale declarations

wenzelm [Tue, 26 Mar 2013 20:55:21 +0100] rev 51545

merged

wenzelm [Tue, 26 Mar 2013 20:37:32 +0100] rev 51544

tuned session specification;

wenzelm [Tue, 26 Mar 2013 20:36:32 +0100] rev 51543

tuned proof;

wenzelm [Tue, 26 Mar 2013 20:02:02 +0100] rev 51542

tuned imports;

wenzelm [Tue, 26 Mar 2013 19:43:31 +0100] rev 51541

tuned proofs;

haftmann [Tue, 26 Mar 2013 20:49:57 +0100] rev 51540

explicit sublocale dependency for Min/Max yields more appropriate Min/Max prefix for a couple of facts

wenzelm [Tue, 26 Mar 2013 15:10:28 +0100] rev 51539

merged

wenzelm [Tue, 26 Mar 2013 14:38:44 +0100] rev 51538

proper input event handling;

isabelle