| 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 |
| Sat, 27 Jul 2024 11:41:08 +0100 | paulson | More simplification of apply proofs | changeset | files |
| Fri, 26 Jul 2024 22:32:31 +0200 | wenzelm | less ambitious parallelism: avoid exhaustion of memory (64GB total); | changeset | files |