| Sun, 13 May 2018 21:20:28 +0200 | wenzelm | more uniform types vs. consts; | changeset | files |
| Sun, 13 May 2018 20:24:33 +0200 | wenzelm | more concise information; | changeset | files |
| Sun, 13 May 2018 20:04:59 +0200 | wenzelm | export foundational theory content in Scala; | changeset | files |