| Mon, 19 Feb 2024 11:39:00 +0100 | desharna | added lemmas relpowp_left_unique and relpow_left_unique | file | diff | annotate |
| Mon, 19 Feb 2024 11:21:06 +0100 | desharna | added lemmas relpowp_right_unique and relpow_right_unique | file | diff | annotate |
| Sat, 17 Feb 2024 16:56:55 +0100 | wenzelm | clarified default "isabelle build -j0 -H"; | file | diff | annotate |
| Thu, 15 Feb 2024 08:25:25 +0100 | desharna | merged | file | diff | annotate |
| Wed, 14 Feb 2024 16:25:41 +0100 | desharna | added lemmas relpow_trans[trans] and relpowp_trans[trans] | file | diff | annotate |
| Wed, 14 Feb 2024 15:33:45 +0000 | paulson | the syntax of Lebesgue integrals (LINT, LBINT, ∫, etc.) now requires parentheses | file | diff | annotate |
| Wed, 07 Feb 2024 11:57:22 +0000 | paulson | NEWS: corrected the definition of convexity of functions | file | diff | annotate |