isabelle: Changelog

haftmann [Fri, 18 Apr 2025 14:19:41 +0200] rev 82523

explicit check for computations on word type

paulson <lp15@cam.ac.uk> [Thu, 17 Apr 2025 22:57:26 +0100] rev 82522

more tidying

paulson [Wed, 16 Apr 2025 21:13:33 +0100] rev 82521

merged

paulson <lp15@cam.ac.uk> [Wed, 16 Apr 2025 21:13:27 +0100] rev 82520

tidied more proofs

Manuel Eberl <manuel@pruvisto.org> [Wed, 16 Apr 2025 11:38:38 +0200] rev 82519

removed duplicate lemmas

Manuel Eberl <manuel@pruvisto.org> [Tue, 15 Apr 2025 17:38:20 +0200] rev 82518

lots of lemmas for HOL, HOL-{Complex_}Analysis, HOL-Number_Theory

Manuel Eberl <manuel@pruvisto.org> [Tue, 15 Apr 2025 15:17:25 +0200] rev 82517

new lemmas for HOL-Complex_Analysis; overhaul of isolated_zeros

haftmann [Tue, 15 Apr 2025 23:04:44 +0200] rev 82516

official theory for using bit shift operations for ordinary arithmetic if feasible

haftmann [Tue, 15 Apr 2025 19:40:42 +0200] rev 82515

corrected operation

haftmann [Tue, 15 Apr 2025 19:40:39 +0200] rev 82514

tuned whitespace

isabelle