| Tue, 08 Oct 2024 12:10:35 +0200 | wenzelm | more inner-syntax markup; | file | diff | annotate |
| Thu, 30 Nov 2023 16:56:44 +0100 | nipkow | added and removed [simp]s | file | diff | annotate |
| Tue, 23 May 2023 21:43:36 +0200 | wenzelm | more uniform simproc_setup: avoid vacuous abstraction over morphism, which sometimes captures context values in its functional closure; | file | diff | annotate |
| Thu, 05 Aug 2021 07:12:49 +0000 | haftmann | clarified abstract and concrete boolean algebras | file | diff | annotate | base |