| Thu, 23 Feb 2023 15:37:17 +0100 | desharna | added lemmas strict_subset_implies_multpDM and strict_subset_implies_multpHO | changeset | files |
| Thu, 23 Feb 2023 12:35:37 +0100 | desharna | added lemma multpDM_plus_plusI[simp] | changeset | files |
| Thu, 23 Feb 2023 12:31:46 +0100 | desharna | added lemmas multpDM_mono_strong and multpHO_mono_strong | changeset | files |
| Wed, 22 Feb 2023 22:01:26 +0000 | paulson | merged | changeset | files |
| Wed, 22 Feb 2023 15:24:16 +0000 | paulson | One new (necessary) theorem | changeset | files |
| Wed, 22 Feb 2023 21:40:32 +0100 | wenzelm | merged | changeset | files |
| Wed, 22 Feb 2023 21:38:30 +0100 | wenzelm | more operations to support management of jobs, e.g. from external database; | changeset | files |