| Sat, 31 Dec 2022 11:48:32 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Sat, 31 Dec 2022 11:35:28 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sun, 01 Jan 2023 12:24:00 +0000 |
paulson |
removed an unfortunate sledgehammer command
|
changeset |
files
|
| Sun, 01 Jan 2023 01:43:02 +0000 |
paulson |
A couple of patches
|
changeset |
files
|
| Sun, 01 Jan 2023 00:45:55 +0000 |
paulson |
Big simplifications of old proofs
|
changeset |
files
|
| Sat, 31 Dec 2022 11:09:19 +0000 |
paulson |
repaired a proof
|
changeset |
files
|
| Fri, 30 Dec 2022 23:21:37 +0000 |
paulson |
Continued proof simplifications
|
changeset |
files
|
| Fri, 30 Dec 2022 20:59:38 +0000 |
paulson |
merged
|
changeset |
files
|
| Fri, 30 Dec 2022 17:48:41 +0000 |
paulson |
A further round of proof consolidation
|
changeset |
files
|
| Fri, 30 Dec 2022 21:27:57 +0100 |
wenzelm |
tuned signature: avoid too many aliases;
|
changeset |
files
|
| Fri, 30 Dec 2022 21:09:50 +0100 |
wenzelm |
proper thread context (amending 01a7265db76b) -- at the danger of blocking the GUI;
|
changeset |
files
|
| Fri, 30 Dec 2022 20:38:29 +0100 |
wenzelm |
more robust: avoid detour via somewhat fragile Node.Name.path;
|
changeset |
files
|