Sat, 30 Nov 2019 15:56:09 +0100 | wenzelm | avoid shadowing of local bindings -- more maintainable; | changeset | files |
Sat, 30 Nov 2019 15:17:23 +0100 | wenzelm | export spec rules; | changeset | files |
Mon, 02 Dec 2019 17:51:54 +0100 | Manuel Eberl | Reorganised HOL-Complex_Analysis | changeset | files |