isabelle: Changelog

wenzelm [Wed, 17 Jun 2015 11:03:05 +0200] rev 60500

isabelle update_cartouches;

wenzelm [Wed, 17 Jun 2015 10:57:11 +0200] rev 60499

avoid dynamic parsing of hardwired strings;

nipkow [Wed, 17 Jun 2015 18:13:44 +0200] rev 60498

more compact name

nipkow [Wed, 17 Jun 2015 17:33:22 +0200] rev 60497

NEWS

nipkow [Wed, 17 Jun 2015 17:21:20 +0200] rev 60496

merged

nipkow [Wed, 17 Jun 2015 17:21:11 +0200] rev 60495

renamed Multiset.set_of to the canonical set_mset

paulson <lp15@cam.ac.uk> [Wed, 17 Jun 2015 15:15:52 +0100] rev 60494

correccted the pretty-printing specs for setsum and setprod

paulson <lp15@cam.ac.uk> [Wed, 17 Jun 2015 14:35:50 +0100] rev 60493

New WF theorem by Tjark Weber. Replaced the proof of the subsequent theorem.

paulson <lp15@cam.ac.uk> [Tue, 16 Jun 2015 20:50:00 +0100] rev 60492

another messy proof fixed

wenzelm [Mon, 15 Jun 2015 23:56:40 +0200] rev 60491

merged

isabelle