| Wed, 07 Jun 2023 13:02:40 +0200 | wenzelm | updated for release; | file | diff | annotate |
| Wed, 07 Jun 2023 11:40:24 +0200 | wenzelm | tuned NEWS; | file | diff | annotate |
| Tue, 06 Jun 2023 23:42:47 +0200 | wenzelm | more realistic factor; | file | diff | annotate |
| Fri, 02 Jun 2023 12:14:17 +0200 | desharna | added lemma ffUnion_fsubset_iff | file | diff | annotate |
| Wed, 31 May 2023 11:28:31 +0100 | paulson | NEWS: Announcing the metric space material | file | diff | annotate |
| Wed, 31 May 2023 10:36:51 +0200 | wenzelm | more NEWS; | file | diff | annotate |
| Wed, 31 May 2023 10:21:35 +0200 | wenzelm | tuned NEWS; | file | diff | annotate |
| Tue, 30 May 2023 12:07:48 +0200 | wenzelm | NEWS; | file | diff | annotate |
| Sat, 27 May 2023 23:34:07 +0200 | desharna | NEWS | file | diff | annotate |
| Fri, 26 May 2023 10:34:39 +0200 | desharna | NEWS | file | diff | annotate |
| Wed, 10 May 2023 08:59:44 +0200 | desharna | added lemmas transp_on_multpHO and transp_multpHO | file | diff | annotate |
| Tue, 09 May 2023 22:00:36 +0200 | desharna | added lemmas Finite_Set.bex_(min|max)_element_with_property and reordered assumptions of Finite_Set.bex_(min|max)_element | file | diff | annotate |
| Mon, 08 May 2023 17:26:33 +0200 | desharna | merged | file | diff | annotate |
| Mon, 08 May 2023 11:27:03 +0200 | desharna | added lemma asymp_on_multpHO | file | diff | annotate |
| Mon, 08 May 2023 11:26:04 +0200 | desharna | added lemmas multpHO_iff_set_mset_lessHO_set_mset and multpHO_minus_inter_minus_inter_iff | file | diff | annotate |