src/HOL/Code_Evaluation.thy
Thu, 02 Jan 2025 08:37:55 +0100 haftmann refined syntax for code_reserved
Wed, 02 Oct 2024 11:27:19 +0200 wenzelm tuned whitespace;
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;
Sun, 15 Nov 2020 07:17:06 +0000 haftmann bundles for reflected term syntax
less more (0) -30 -10 -4 tip