isabelle: Changelog

traytel [Tue, 04 Mar 2014 12:32:33 +0100] rev 55899

N2M does not use the low-level 'fold'; removed the latter from the fp_result interface;

blanchet [Tue, 04 Mar 2014 10:35:37 +0100] rev 55898

merge

blanchet [Tue, 04 Mar 2014 09:29:56 +0100] rev 55897

removed debugging leftover

blanchet [Tue, 04 Mar 2014 09:07:49 +0100] rev 55896

minor doc fix

nipkow [Tue, 04 Mar 2014 08:19:04 +0100] rev 55895

added contributor

blanchet [Mon, 03 Mar 2014 23:05:49 +0100] rev 55894

simplified N2M code now that 'fold' is no longer used by the sugar layer + use right context in all 'force_typ' calls

blanchet [Mon, 03 Mar 2014 23:05:30 +0100] rev 55893

fixed handling of 'case_prod' and other 'case' functions for interpreted types

blanchet [Mon, 03 Mar 2014 22:33:22 +0100] rev 55892

updated docs

blanchet [Mon, 03 Mar 2014 22:33:22 +0100] rev 55891

support 'datatype_new'-defined datatypes in Nitpick + better support for 'codatatype's

blanchet [Mon, 03 Mar 2014 22:33:22 +0100] rev 55890

tuned ML names

isabelle