Mon, 07 Jun 2021 16:40:26 +0200 | wenzelm | clarified modules; | changeset | files |
Tue, 08 Jun 2021 17:01:32 +0200 | nipkow | Lukas Steven's more general fold foctions for maps | changeset | files |
Tue, 01 Jun 2021 19:46:34 +0200 | nipkow | More general fold function for maps | changeset | files |