| Mon, 05 Nov 2018 17:37:55 +0100 | wenzelm | clarified names; | changeset | files |
| Mon, 05 Nov 2018 17:06:50 +0100 | wenzelm | more Haskell operations; | changeset | files |
| Mon, 05 Nov 2018 15:04:31 +0100 | wenzelm | support sub-directories, i.e. structure module names; | changeset | files |
| Mon, 05 Nov 2018 15:00:55 +0100 | wenzelm | prefer symbolic path: it is potentially persisted; | changeset | files |
| Mon, 05 Nov 2018 15:00:22 +0100 | wenzelm | tuned (see map_index); | changeset | files |
| Mon, 05 Nov 2018 11:29:11 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 05 Nov 2018 10:02:21 +0100 | nipkow | simplified proof, moved lemma, added lemma | changeset | files |