| Fri, 06 Aug 2021 20:33:59 +0200 | wenzelm | clarified signature; | changeset | files |
| Fri, 06 Aug 2021 14:12:47 +0200 | wenzelm | unused; | changeset | files |
| Fri, 06 Aug 2021 13:18:04 +0200 | wenzelm | clarified signature; | changeset | files |
| Thu, 05 Aug 2021 20:57:54 +0200 | wenzelm | merged | changeset | files |
| Thu, 05 Aug 2021 20:57:19 +0200 | wenzelm | clarified modules; | changeset | files |
| Thu, 05 Aug 2021 20:24:42 +0200 | wenzelm | type classes for XML data representation; | changeset | files |
| Thu, 05 Aug 2021 18:53:53 +0200 | wenzelm | tuned signature; | changeset | files |
| 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 |
| Wed, 04 Aug 2021 22:20:47 +0200 | wenzelm | prefer persistent hash code for cachable items (see also 72b13af7f266); | changeset | files |