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
Sun, 06 Oct 2024 22:56:07 +0200 wenzelm more inner-syntax markup, without pretty blocks;
Sat, 05 Oct 2024 22:24:24 +0200 wenzelm more inner-syntax markup;
Fri, 04 Oct 2024 13:29:33 +0200 wenzelm clarified syntax for opening bundles;
Mon, 23 Sep 2024 13:32:38 +0200 wenzelm standardize mixfix annotations via "isabelle update -u mixfix_cartouches -l Pure HOL" --- to simplify systematic editing;
less more (0) -100 -30 -10 -7 tip