Sat, 29 Dec 2018 16:13:05 +0100 | wenzelm | unused; | changeset | files |
Sat, 29 Dec 2018 16:11:24 +0100 | wenzelm | clarified signature; | changeset | files |
Sat, 29 Dec 2018 14:58:51 +0100 | wenzelm | clarified errors, according to Isabelle/MMT; | changeset | files |
Sat, 29 Dec 2018 13:49:09 +0100 | wenzelm | tuned, according to Isabelle/MMT; | changeset | files |