| Sun, 14 Feb 2016 16:39:43 +0100 | wenzelm | unused; | changeset | files |
| Sun, 14 Feb 2016 16:30:27 +0100 | wenzelm | command '\<proof>' is an alias for 'sorry', with different typesetting; | changeset | files |
| Sun, 14 Feb 2016 16:29:30 +0100 | wenzelm | more antiquotations; | changeset | files |
| Sun, 14 Feb 2016 14:33:32 +0100 | wenzelm | more gentle termination (like Bash.multi_kill without signal) to give prover a chance to conclude; | changeset | files |