| Sat, 30 Nov 2024 17:14:30 +0100 |
wenzelm |
tuned signature: more operations;
|
changeset |
files
|
| Sat, 30 Nov 2024 16:42:22 +0100 |
wenzelm |
clarified 'unbundle' polarity, according to algebraic group laws;
|
changeset |
files
|
| Sat, 30 Nov 2024 16:01:58 +0100 |
wenzelm |
tuned signature: more operations;
|
changeset |
files
|
| Sat, 30 Nov 2024 13:41:38 +0100 |
wenzelm |
tuned: more direct use of Name.context operations;
|
changeset |
files
|
| Sat, 30 Nov 2024 13:40:57 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sat, 30 Nov 2024 13:27:15 +0100 |
wenzelm |
misc tuning and clarification: more direct use of Name.context operations;
|
changeset |
files
|
| Sat, 30 Nov 2024 13:31:43 +0100 |
wenzelm |
tuned signature: more operations;
|
changeset |
files
|
| Sat, 30 Nov 2024 12:30:18 +0100 |
wenzelm |
tuned: more direct use of Name.context operations;
|
changeset |
files
|
| Fri, 29 Nov 2024 17:40:15 +0100 |
wenzelm |
clarified signature: shorten common cases;
|
changeset |
files
|
| Fri, 29 Nov 2024 11:26:17 +0100 |
wenzelm |
tuned: more standard Name.build_context, although that is a bit longer;
|
changeset |
files
|
| Fri, 29 Nov 2024 00:25:03 +0100 |
wenzelm |
clarified signature: more uniform;
|
changeset |
files
|
| Thu, 28 Nov 2024 19:35:30 +0100 |
wenzelm |
omit redundant combinators (amending 7456a64bc4f6);
|
changeset |
files
|
| Thu, 28 Nov 2024 14:12:13 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Fri, 29 Nov 2024 10:35:47 +0100 |
blanchet |
fixed bugs found by Stepan Holub
|
changeset |
files
|
| Wed, 27 Nov 2024 16:52:04 +0100 |
nipkow |
merged
|
changeset |
files
|
| Wed, 27 Nov 2024 16:51:50 +0100 |
nipkow |
added lemmas
|
changeset |
files
|