| Thu, 04 Aug 2016 19:36:31 +0200 | hoelzl | HOL-Multivariate_Analysis: rename theories for more descriptive names | file | diff | annotate |
| Mon, 22 Feb 2016 14:37:56 +0000 | paulson | An assortment of useful lemmas about sums, norm, etc. Also: norm_conv_dist [symmetric] is now a simprule! | file | diff | annotate |
| Wed, 17 Feb 2016 21:51:56 +0100 | haftmann | prefer abbreviations for compound operators INFIMUM and SUPREMUM | file | diff | annotate |
| Fri, 08 Jan 2016 17:40:59 +0100 | hoelzl | add uniform spaces | file | diff | annotate |
| Tue, 29 Dec 2015 23:04:53 +0100 | wenzelm | more symbols; | file | diff | annotate |
| Mon, 28 Dec 2015 01:28:28 +0100 | wenzelm | more symbols; | file | diff | annotate |