isabelle: Changelog

wenzelm [Mon, 14 Aug 2017 13:53:49 +0200] rev 66411

more explicit failure;

wenzelm [Mon, 14 Aug 2017 11:30:07 +0200] rev 66410

explicit indication of consolidated nodes;

paulson <lp15@cam.ac.uk> [Sun, 13 Aug 2017 23:45:45 +0100] rev 66409

further tidying

paulson <lp15@cam.ac.uk> [Sun, 13 Aug 2017 19:24:33 +0100] rev 66408

general rationalisation of Analysis

paulson [Sat, 12 Aug 2017 23:11:26 +0100] rev 66407

merged

paulson <lp15@cam.ac.uk> [Sat, 12 Aug 2017 12:07:47 +0200] rev 66406

cleanup of integral_norm_bound_integral

haftmann [Sat, 12 Aug 2017 08:56:26 +0200] rev 66405

be more explicit on type dlist

haftmann [Sat, 12 Aug 2017 08:56:25 +0200] rev 66404

code generation for Gcd and Lcm when sets are implemented by red-black trees

paulson [Sat, 12 Aug 2017 09:19:48 +0200] rev 66403

merged

paulson [Fri, 11 Aug 2017 23:38:33 +0200] rev 66402

more Henstock_Kurzweil_Integration cleanup

isabelle