| 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 |