isabelle: Changelog

nipkow [Mon, 20 Jan 2025 22:19:54 +0100] rev 81877

introduced/overloaded power operator ^^ lists (lemmas based on AFP/Combinatorics_Words which defines ^@)

haftmann [Mon, 20 Jan 2025 22:15:11 +0100] rev 81876

systematic checks for bit operations and more rules on symbolic terms

haftmann [Mon, 20 Jan 2025 22:15:11 +0100] rev 81875

explicitly report dependencies on missing code equations

paulson <lp15@cam.ac.uk> [Sun, 19 Jan 2025 18:18:07 +0000] rev 81874

simplified old proofs

paulson [Fri, 17 Jan 2025 23:00:13 +0000] rev 81873

merged

paulson [Fri, 17 Jan 2025 20:24:09 +0000] rev 81872

merged

paulson <lp15@cam.ac.uk> [Fri, 17 Jan 2025 20:24:02 +0000] rev 81871

A variety of tweaks

wenzelm [Fri, 17 Jan 2025 23:15:47 +0100] rev 81870

avoid legacy warnings in "test_code check in OCaml";

wenzelm [Fri, 17 Jan 2025 23:10:39 +0100] rev 81869

proper condition for strict "test_code check in OCaml" and "test_code check in GHC";

wenzelm [Fri, 17 Jan 2025 22:38:15 +0100] rev 81868

more NEWS;

isabelle