isabelle: Changelog

blanchet [Thu, 11 Sep 2014 19:35:38 +0200] rev 58311

tuned documentation

blanchet [Thu, 11 Sep 2014 19:32:36 +0200] rev 58310

updated news

blanchet [Thu, 11 Sep 2014 19:26:59 +0200] rev 58309

renamed 'BNF_Examples' to 'Datatype_Examples' (cf. 'datatypes.pdf')

blanchet [Thu, 11 Sep 2014 19:20:23 +0200] rev 58308

move datatype benchmarks

blanchet [Thu, 11 Sep 2014 19:18:23 +0200] rev 58307

use new datatypes for benchmarks

blanchet [Thu, 11 Sep 2014 18:54:36 +0200] rev 58306

renamed 'rep_datatype' to 'old_rep_datatype' (HOL)

blanchet [Thu, 11 Sep 2014 18:54:36 +0200] rev 58305

renamed 'datatype' to 'old_datatype'; 'datatype' is now alias for 'datatype_new'

blanchet [Thu, 11 Sep 2014 18:54:36 +0200] rev 58304

tuning

blanchet [Thu, 11 Sep 2014 18:54:36 +0200] rev 58303

fixed situation in 'primrec' when recursive calls are apparently nested, e.g. 'f (f x y) y', with the recursion in 'y'

blanchet [Thu, 11 Sep 2014 18:54:36 +0200] rev 58302

tuning

isabelle