| Mon, 19 Feb 2024 14:12:20 +0000 | paulson | A small collection of new and useful facts, including the AM-GM inequality | changeset | files |
| Mon, 19 Feb 2024 14:31:26 +0100 | blanchet | remove selected occurrences of 'moura' tactic | changeset | files |
| Mon, 19 Feb 2024 11:39:00 +0100 | desharna | added lemmas relpowp_left_unique and relpow_left_unique | changeset | files |
| Mon, 19 Feb 2024 11:21:06 +0100 | desharna | added lemmas relpowp_right_unique and relpow_right_unique | changeset | files |
| Mon, 19 Feb 2024 08:23:23 +0100 | nipkow | use define_time_fun | changeset | files |
| Sun, 18 Feb 2024 21:35:03 +0100 | nipkow | time funs: +1 instead of 1+ | changeset | files |
| Sun, 18 Feb 2024 15:16:20 +0100 | wenzelm | minor performance tuning; | changeset | files |
| Sun, 18 Feb 2024 15:15:07 +0100 | wenzelm | clarified signature: more comprehensive operations; | changeset | files |