Thu, 05 Aug 2021 18:40:06 +0200 | wenzelm | clarified types: prefer Isabelle byte strings; | changeset | files |
Thu, 05 Aug 2021 20:27:31 +0200 | desharna | merged | changeset | files |
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 |
Thu, 05 Aug 2021 07:12:49 +0000 | haftmann | antiquotation for bundles | changeset | files |