Fri, 07 Jun 2024 13:19:39 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Fri, 07 Jun 2024 11:10:49 +0200 |
wenzelm |
tuned signature: just one ZThm is sufficient;
|
file |
diff |
annotate
|
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
|