isabelle: Changelog

blanchet [Wed, 29 May 2013 02:35:49 +0200] rev 52215

tuning (use lists rather than pairs of lists throughout)

blanchet [Wed, 29 May 2013 02:35:49 +0200] rev 52214

generalized recursors, effectively reverting inductive half of c7a034d01936

blanchet [Wed, 29 May 2013 02:35:49 +0200] rev 52213

tuning

wenzelm [Tue, 28 May 2013 23:11:07 +0200] rev 52212

merged

wenzelm [Tue, 28 May 2013 23:06:32 +0200] rev 52211

explicit support for type annotations within printed syntax trees; eliminated obsolete show_free_types;

wenzelm [Tue, 28 May 2013 16:29:11 +0200] rev 52210

more explicit Printer.type_emphasis, depending on show_type_emphasis; tuned signature;

blanchet [Tue, 28 May 2013 23:01:28 +0200] rev 52209

tuning (refactoring)

blanchet [Tue, 28 May 2013 22:20:25 +0200] rev 52208

refactored triplicated functionality

blanchet [Tue, 28 May 2013 21:17:48 +0200] rev 52207

tuning -- avoided unreadable true/false all over the place for LFP/GFP

blanchet [Tue, 28 May 2013 20:00:29 +0200] rev 52206

merge

isabelle