Sat, 15 Oct 2016 14:15:29 +0200 | wenzelm | clarified signature; | changeset | files |
Sat, 15 Oct 2016 13:07:54 +0200 | wenzelm | identify release; | changeset | files |
Sat, 15 Oct 2016 11:38:03 +0200 | wenzelm | prefer Isabelle standard Path; | changeset | files |