isabelle: Changelog

paulson <lp15@cam.ac.uk> [Fri, 10 Feb 2023 14:51:51 +0000] rev 77230

Some basis results about trigonometric functions

paulson [Thu, 09 Feb 2023 16:29:53 +0000] rev 77229

merged

paulson <lp15@cam.ac.uk> [Thu, 09 Feb 2023 15:36:06 +0000] rev 77228

Even more new material from Eberl and Li

paulson [Thu, 09 Feb 2023 13:36:53 +0000] rev 77227

merged

paulson <lp15@cam.ac.uk> [Thu, 09 Feb 2023 13:36:25 +0000] rev 77226

More material for Analysis and Complex_Analysis

haftmann [Thu, 09 Feb 2023 08:35:50 +0000] rev 77225

actually executable enum_all, enum_ex for word

nipkow [Thu, 09 Feb 2023 12:51:18 +0100] rev 77224

tuned text

paulson <lp15@cam.ac.uk> [Wed, 08 Feb 2023 15:05:24 +0000] rev 77223

Lots of new material chiefly about complex analysis

paulson [Tue, 07 Feb 2023 14:10:15 +0000] rev 77222

merged

paulson <lp15@cam.ac.uk> [Tue, 07 Feb 2023 14:10:08 +0000] rev 77221

More new theorems from the number theory development

isabelle