| 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 |