isabelle: Changelog

traytel [Wed, 24 Apr 2013 11:36:11 +0200] rev 51752

merged

traytel [Wed, 24 Apr 2013 11:06:53 +0200] rev 51751

slightly more aggressive syntax translation for printing case expressions

haftmann [Wed, 24 Apr 2013 11:32:54 +0200] rev 51750

avoid odd reinit after sublocale declaration

nipkow [Wed, 24 Apr 2013 10:23:47 +0200] rev 51749

moved defs into locale to reduce unnecessary polymorphism; tuned

haftmann [Tue, 23 Apr 2013 19:40:33 +0200] rev 51748

dropped dead code

haftmann [Tue, 23 Apr 2013 19:31:24 +0200] rev 51747

documentation and NEWS

blanchet [Tue, 23 Apr 2013 17:46:12 +0200] rev 51746

avoid accidental specialization of the types in the "map" property of codatatypes

blanchet [Tue, 23 Apr 2013 17:15:44 +0200] rev 51745

simplify "Inl () = Inr ()" as well (not entirely clear why this is necessary)

blanchet [Tue, 23 Apr 2013 17:13:14 +0200] rev 51744

more examples

blanchet [Tue, 23 Apr 2013 16:49:14 +0200] rev 51743

tuning

isabelle