src/HOL/ex/Specifications_with_bundle_mixins.thy
Sun, 18 Aug 2024 15:41:55 +0200 wenzelm tuned comments and whitespace (see also 589645894305);
Wed, 05 May 2021 16:09:02 +0000 haftmann more appropriate location
Fri, 27 Nov 2020 06:48:35 +0000 haftmann refined syntax for bundle mixins for locale and class specifications
Sun, 01 Nov 2020 16:54:49 +0100 haftmann bundle mixins for locale and class specifications
less more (0) tip