Tue, 22 Dec 2015 17:14:35 +0100 | wenzelm | proper full name within the name space of the method definition; | changeset | files |
Tue, 22 Dec 2015 16:35:41 +0100 | wenzelm | tuned signature; | changeset | files |
Tue, 22 Dec 2015 16:34:57 +0100 | wenzelm | isabelle update_cartouches -c -t; | changeset | files |