| Wed, 27 Dec 2023 20:52:33 +0100 | wenzelm | tuned; | file | diff | annotate |
| Wed, 27 Dec 2023 20:40:15 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Wed, 27 Dec 2023 15:57:42 +0100 | wenzelm | clarified modules; | file | diff | annotate |
| Wed, 27 Dec 2023 15:50:17 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Tue, 26 Dec 2023 12:37:33 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Thu, 21 Dec 2023 21:03:02 +0100 | wenzelm | proper thm_name for stored zproof; | file | diff | annotate |
| Tue, 20 Aug 2019 11:01:05 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Mon, 19 Aug 2019 19:24:18 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 19 Aug 2019 19:12:44 +0200 | wenzelm | clarified modules; | file | diff | annotate |