Tue, 18 Apr 2023 22:24:48 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 01 Nov 2021 11:52:24 +0100 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
Sun, 31 Oct 2021 23:41:07 +0100 |
wenzelm |
clarified antiquotations;
|
file |
diff |
annotate
|
Sun, 31 Oct 2021 23:15:46 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Wed, 20 Oct 2021 18:13:17 +0200 |
wenzelm |
discontinued obsolete "val extend = I" for data slots;
|
file |
diff |
annotate
|
Tue, 28 Sep 2021 17:09:05 +0200 |
wenzelm |
tuned antiquotations;
|
file |
diff |
annotate
|
Mon, 20 Sep 2021 11:35:27 +0200 |
wenzelm |
clarified antiquotations;
|
file |
diff |
annotate
|
Fri, 10 Sep 2021 14:59:19 +0200 |
wenzelm |
clarified signature: more scalable operations;
|
file |
diff |
annotate
|
Mon, 06 Sep 2021 12:23:06 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Thu, 03 Jan 2019 15:59:29 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 03 Jan 2019 15:55:36 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Wed, 06 Dec 2017 20:43:09 +0100 |
wenzelm |
prefer control symbol antiquotations;
|
file |
diff |
annotate
|
Sun, 26 Nov 2017 21:08:32 +0100 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
Tue, 01 Aug 2017 07:26:23 +0200 |
boehmes |
more explicit Argo proof traces; more correct proof replay for term applications
|
file |
diff |
annotate
|
Sun, 02 Oct 2016 14:07:43 +0200 |
wenzelm |
updated headers;
|
file |
diff |
annotate
|
Thu, 29 Sep 2016 20:54:44 +0200 |
boehmes |
new proof method "argo" for a combination of quantifier-free propositional logic with equality and linear real arithmetic
|
file |
diff |
annotate
|