| Thu, 07 Nov 2024 16:21:57 +0100 | nipkow | better termination behaviour | changeset | files |
| Wed, 06 Nov 2024 18:10:39 +0100 | nipkow | uniform name T_f for closed-form lemmas for function T_f | changeset | files |
| Wed, 06 Nov 2024 16:27:06 +0100 | nipkow | More time for primitive functions | changeset | files |
| Wed, 06 Nov 2024 16:19:45 +0100 | nipkow | merged Reverse into Time_Funs | changeset | files |
| Tue, 05 Nov 2024 23:51:44 +0100 | wenzelm | tuned proofs; | changeset | files |
| Tue, 05 Nov 2024 23:45:39 +0100 | wenzelm | tuned description: plain text documentation is also supported; | changeset | files |
| Tue, 05 Nov 2024 23:27:47 +0100 | wenzelm | merged | changeset | files |