| Mon, 13 Jan 2025 21:17:40 +0100 | nipkow | moved lemmas to book | file | diff | annotate |
| Wed, 06 Nov 2024 18:10:39 +0100 | nipkow | uniform name T_f for closed-form lemmas for function T_f | file | diff | annotate |
| Wed, 27 Mar 2024 16:48:23 +0100 | nipkow | updated time functions for Array_Braun | file | diff | annotate |