| Sat, 30 Nov 2019 16:46:34 +0100 | wenzelm | proper spec rules via fun_lhs, e.g. relevant for "isabelle build -o export_theory"; | changeset | files |
| Sat, 30 Nov 2019 16:42:15 +0100 | wenzelm | tuned -- avoid confusion of fun_t with fun_lhs; | changeset | files |
| 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 |
| Mon, 02 Dec 2019 22:40:16 -0500 | immler | split off metric spaces part of Function_Topology: subsequent theories Product_Topology, T1_Spaces, Lindelof_Spaces are purely topological | changeset | files |
| Mon, 02 Dec 2019 14:07:42 -0500 | immler | merged | changeset | files |
| Mon, 02 Dec 2019 13:57:32 -0500 | immler | tuned Analysis manual | changeset | files |