Sun, 24 Mar 2024 14:50:47 +0100 | nipkow | more uniform command names | file | diff | annotate |
Fri, 19 Jan 2024 17:14:37 +0100 | nipkow | more uses of define_time_fun | file | diff | annotate |
Wed, 18 Nov 2020 19:38:19 +0100 | nipkow | new theory | file | diff | annotate |