isabelle: Changelog

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

wenzelm [Mon, 15 Jun 2015 17:29:43 +0200] rev 60490

more informative check: dummies are always allowed parse_term and should not lead to rejection here;

isabelle