src/HOL/Codegenerator_Test/Code_Test_PolyML.thy
Sat, 04 Jan 2025 14:41:30 +0100 haftmann optionally use shift operations on target numerals for efficient execution
Mon, 23 Dec 2024 21:22:10 +0100 haftmann explicit tests for target-language bit operations
less more (0) -2 tip