src/HOL/Examples/Records.thy
Wed, 11 Sep 2024 22:56:42 +0200 wenzelm misc tuning and clarification (see also 86a31308a8e1);
Tue, 13 Aug 2024 21:09:51 +0200 wenzelm tuned: prefer canonical argument order;
Wed, 30 Aug 2023 16:57:28 +0200 wenzelm tuned whitespace;
Fri, 02 Sep 2022 23:41:54 +0200 wenzelm tuned;
Mon, 07 Mar 2022 13:37:17 +0100 Norbert Schirmer option "sort_updates" for record update simproc. Make proper record simproc definitions.
Mon, 13 Jul 2020 21:20:36 +0200 wenzelm misc tuning and modernization;
Mon, 13 Jul 2020 17:08:45 +0200 wenzelm clarified examples;
less more (0) tip