| Sun, 23 May 2021 19:59:37 +0200 | wenzelm | clarified index, more like formal @{element_ref}; | changeset | files |
| Sun, 23 May 2021 19:29:18 +0200 | wenzelm | clarified treatment of type constructors; | changeset | files |
| Sun, 23 May 2021 18:04:35 +0200 | wenzelm | misc tuning and clarification; | changeset | files |