src/HOL/String.thy
Mon, 27 Jan 2025 13:13:28 +0100 haftmann clarified scopes
Fri, 10 Jan 2025 18:35:46 +0100 haftmann more correct code generation for string literals
Thu, 02 Jan 2025 08:37:55 +0100 haftmann refined syntax for code_reserved
less more (0) -100 -30 -10 -3 tip