Wed, 21 Dec 2016 16:22:23 +0100 | wenzelm | more explicit error; | changeset | files |
Wed, 21 Dec 2016 16:14:47 +0100 | wenzelm | more explicit error; | changeset | files |
Wed, 21 Dec 2016 16:02:52 +0100 | wenzelm | display messages, according to regular Isabelle Output; | changeset | files |