| 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 |