Thu, 05 Aug 2021 13:44:33 +0200 | desharna | added option labels to Mirabelle actions | changeset | files |
Thu, 05 Aug 2021 12:56:08 +0200 | wenzelm | more operations: dest binders; | changeset | files |
Thu, 05 Aug 2021 07:12:49 +0000 | haftmann | clarified abstract and concrete boolean algebras | changeset | files |