| Mon, 29 Jul 2024 16:22:05 +0100 | paulson | Reversed my brain-dead stupid change to divide_left_mono and divide_left_mono_neg | changeset | files |
| Mon, 29 Jul 2024 15:26:56 +0200 | nipkow | merged | changeset | files |
| Mon, 29 Jul 2024 15:26:03 +0200 | nipkow | time_function T_map can now be generated automatically. | changeset | files |
| Mon, 29 Jul 2024 10:49:17 +0100 | paulson | Further divide_mono fixes | changeset | files |
| Mon, 29 Jul 2024 10:24:54 +0100 | paulson | Fix for simplified divide_mono theorem | changeset | files |
| Mon, 29 Jul 2024 10:13:52 +0100 | paulson | Migration of new material mostly about exp, ln | changeset | files |
| Sun, 28 Jul 2024 14:45:41 +0100 | paulson | More simplification of a nominal example | changeset | files |
| Sat, 27 Jul 2024 11:41:17 +0100 | paulson | merged | changeset | files |