isabelle: Changelog

haftmann [Wed, 27 Mar 2013 10:55:05 +0100] rev 51548

centralized various multiset operations in theory multiset; more conversions between multisets and lists respectively

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

isabelle