| Mon, 08 May 2017 14:30:59 +0200 | wenzelm | clarified image size; | changeset | files |
| Mon, 08 May 2017 14:30:37 +0200 | wenzelm | proper type for iterated application; | changeset | files |
| Mon, 08 May 2017 14:08:27 +0200 | wenzelm | make index formally within Isabelle/Scala; | changeset | files |