Thu, 10 Dec 2020 15:21:55 +0100 | wenzelm | clarified output of Isabelle symbols; | changeset | files |
Thu, 10 Dec 2020 15:08:31 +0100 | wenzelm | tuned signature; | changeset | files |
Thu, 10 Dec 2020 14:51:56 +0100 | wenzelm | clarified file sources: take from build database instead of file-system; | changeset | files |