isabelle: Changelog

nipkow [Thu, 01 Aug 2024 14:07:34 +0200] rev 80629

tuned names

nipkow [Wed, 31 Jul 2024 10:36:28 +0200] rev 80628

tuned names

paulson [Mon, 29 Jul 2024 16:22:12 +0100] rev 80627

merged

paulson <lp15@cam.ac.uk> [Mon, 29 Jul 2024 16:22:05 +0100] rev 80626

Reversed my brain-dead stupid change to divide_left_mono and divide_left_mono_neg

nipkow [Mon, 29 Jul 2024 15:26:56 +0200] rev 80625

merged

nipkow [Mon, 29 Jul 2024 15:26:03 +0200] rev 80624

time_function T_map can now be generated automatically.

paulson <lp15@cam.ac.uk> [Mon, 29 Jul 2024 10:49:17 +0100] rev 80623

Further divide_mono fixes

paulson <lp15@cam.ac.uk> [Mon, 29 Jul 2024 10:24:54 +0100] rev 80622

Fix for simplified divide_mono theorem

paulson <lp15@cam.ac.uk> [Mon, 29 Jul 2024 10:13:52 +0100] rev 80621

Migration of new material mostly about exp, ln

paulson <lp15@cam.ac.uk> [Sun, 28 Jul 2024 14:45:41 +0100] rev 80620

More simplification of a nominal example

isabelle