Fri, 29 Oct 2021 13:04:51 +0200 |
wenzelm |
clarified antiquotations;
|
file |
diff |
annotate
|
Fri, 29 Oct 2021 12:42:06 +0200 |
wenzelm |
clarified antiquotations: no need for Thm.beta_conversion, due to Thm.instantiate_beta;
|
file |
diff |
annotate
|
Fri, 29 Oct 2021 12:30:47 +0200 |
wenzelm |
clarified antiquotations: no need for Thm.beta_conversion, due to Thm.instantiate_beta;
|
file |
diff |
annotate
|
Fri, 29 Oct 2021 00:01:14 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 28 Oct 2021 23:44:31 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 28 Oct 2021 23:37:53 +0200 |
wenzelm |
clarified antiquotations;
|
file |
diff |
annotate
|
Thu, 28 Oct 2021 20:04:06 +0200 |
wenzelm |
clarified antiquotations;
|
file |
diff |
annotate
|
Mon, 25 Oct 2021 21:58:11 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 25 Oct 2021 21:46:38 +0200 |
wenzelm |
more antiquotations;
|
file |
diff |
annotate
|
Fri, 15 Oct 2021 19:25:31 +0200 |
wenzelm |
discontinued Term.dest_abs / Logic.dest_all, which are officially superseded by Variable.dest_abs etc., but there are also Term.dest_abs_global to recover existing tools easily;
|
file |
diff |
annotate
|
Thu, 14 Oct 2021 16:03:20 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Sat, 11 Sep 2021 13:04:32 +0200 |
wenzelm |
more antiquotations;
|
file |
diff |
annotate
|
Fri, 10 Sep 2021 14:59:19 +0200 |
wenzelm |
clarified signature: more scalable operations;
|
file |
diff |
annotate
|
Fri, 14 Jun 2019 08:34:27 +0000 |
haftmann |
tuned file system structure
|
file |
diff |
annotate
| base
|