| Sat, 14 Dec 2024 22:04:39 +0100 |
wenzelm |
tuned signature: avoid shadowing;
|
changeset |
files
|
| Sat, 14 Dec 2024 21:47:20 +0100 |
wenzelm |
syntax translations now work in a local theory context;
|
changeset |
files
|
| Sat, 14 Dec 2024 17:35:53 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Sat, 14 Dec 2024 16:58:53 +0100 |
wenzelm |
clarified signature and modules;
|
changeset |
files
|
| Fri, 13 Dec 2024 23:23:07 +0100 |
wenzelm |
minor performance tuning: avoid excessive Library.insert and Symbol.explode operations;
|
changeset |
files
|
| Thu, 12 Dec 2024 22:53:06 +0100 |
wenzelm |
tuned whitespace;
|
changeset |
files
|
| Thu, 12 Dec 2024 17:07:17 +0100 |
wenzelm |
tuned proofs;
|
changeset |
files
|
| Thu, 12 Dec 2024 17:07:09 +0100 |
wenzelm |
tuned proofs;
|
changeset |
files
|
| Thu, 12 Dec 2024 16:57:06 +0100 |
wenzelm |
clarified class/locale reasoning: avoid side-stepping constraints;
|
changeset |
files
|
| Thu, 12 Dec 2024 15:45:29 +0100 |
wenzelm |
clarified default_sort: "cpo" for bootstrap, "domain" for main HOLCF;
|
changeset |
files
|
| Thu, 12 Dec 2024 12:35:59 +0100 |
wenzelm |
clarified specification context;
|
changeset |
files
|
| Wed, 11 Dec 2024 12:04:27 +0100 |
wenzelm |
activate e-3.1 as proposed by Martin Desharnais;
|
changeset |
files
|