Sat, 09 Mar 2019 13:24:59 +0100 | wenzelm | tuned proof; | changeset | files |
Sat, 09 Mar 2019 13:19:13 +0100 | wenzelm | clarified Toplevel.state: more explicit types; | changeset | files |
Sat, 09 Mar 2019 10:31:20 +0100 | wenzelm | tuned; | changeset | files |