1 files changed, 26 insertions, 0 deletions

diff --git a/names.txt b/names.txt
index f5a36a8..de2eb52 100644
--- a/names.txt
+++ b/names.txt
@@ -1,9 +1,35 @@
+Alaoglu
 Baire
+Bochner
+Borel
+Fatou
+Fubini
 Gassner
+Gelfand
 Gårding
+Haag
+Haase
+Hadamard
+Hellinger
+Krein
+Kreyszig
+Källén
+Liouville
+Lipschitz
+Mazur
+Milman
+Morera
 Munkres
+Neumann
+Riesz
+Rouché
+Schwarz
 Sobolev
 Steinhaus
 Takesaki
+Tietze
+Toeplitz
 Tomita
+Tychonoff
+Urysohn
 Wightman