| Wed, 30 May 2018 21:11:13 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 30 May 2018 17:10:02 +0200 | wenzelm | store Isabelle symbols in canonical form; | changeset | files |
| Wed, 30 May 2018 14:46:04 +0200 | wenzelm | clarified outermost progress.interrupt_handler; | changeset | files |