src/HOL/Library/Code_Target_Bit_Shifts.thy
Mon, 27 Jan 2025 13:13:28 +0100 haftmann clarified scopes
Mon, 27 Jan 2025 07:39:49 +0100 haftmann more correct SML for SML/NJ
Thu, 16 Jan 2025 09:26:57 +0100 haftmann explicit check for (experimentally determined) border value
Fri, 10 Jan 2025 21:08:18 +0100 haftmann compatibility with Scala 3
Sat, 04 Jan 2025 14:41:30 +0100 haftmann optionally use shift operations on target numerals for efficient execution
less more (0) tip