Admin/user-aliases
author nipkow
Tue, 05 Nov 2019 19:55:42 +0100
changeset 71043 2fab72ab919a
parent 64880 3f36c53aa105
permissions -rw-r--r--
moved duplicate lemmas up the hierarchy
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
64880
3f36c53aa105 augmented user aliasses
haftmann
parents: 60419
diff changeset
     1
lukas.bulwahn@gmail.com = bulwahn
3f36c53aa105 augmented user aliasses
haftmann
parents: 60419
diff changeset
     2
chaieb@chaieb-laptop = chaieb
3f36c53aa105 augmented user aliasses
haftmann
parents: 60419
diff changeset
     3
eberlm@in.tum.de = eberlm
3f36c53aa105 augmented user aliasses
haftmann
parents: 60419
diff changeset
     4
Manuel Eberl = eberlm
3f36c53aa105 augmented user aliasses
haftmann
parents: 60419
diff changeset
     5
bertram.felgenhauer = felgenhauer
3f36c53aa105 augmented user aliasses
haftmann
parents: 60419
diff changeset
     6
bertram.felgenhauer@uibk.ac.at = felgenhauer
3f36c53aa105 augmented user aliasses
haftmann
parents: 60419
diff changeset
     7
Mathias.Fleury@mpi-inf.mpg.de = fleury
3f36c53aa105 augmented user aliasses
haftmann
parents: 60419
diff changeset
     8
Gerwin Klein <gerwin.klein@nicta.com.au> = kleing
3f36c53aa105 augmented user aliasses
haftmann
parents: 60419
diff changeset
     9
hellerar@macbroy24.informatik.tu-muenchen.de = hellerar
3f36c53aa105 augmented user aliasses
haftmann
parents: 60419
diff changeset
    10
brianh@cs.pdx.edu = huffman
3f36c53aa105 augmented user aliasses
haftmann
parents: 60419
diff changeset
    11
lars.hupel@mytum.de = hupel
3f36c53aa105 augmented user aliasses
haftmann
parents: 60419
diff changeset
    12
immler@in.tum.de = immler
3f36c53aa105 augmented user aliasses
haftmann
parents: 60419
diff changeset
    13
markus.kaiser@in.tum.de = kaiser
3f36c53aa105 augmented user aliasses
haftmann
parents: 60419
diff changeset
    14
cezarykaliszyk@gmail.com = kaliszyk
3f36c53aa105 augmented user aliasses
haftmann
parents: 60419
diff changeset
    15
kaliszyk@in.tum.de = kaliszyk
3f36c53aa105 augmented user aliasses
haftmann
parents: 60419
diff changeset
    16
gerwin.klein@nicta.com.au = kleing
3f36c53aa105 augmented user aliasses
haftmann
parents: 60419
diff changeset
    17
rafal.kolanski@nicta.com.au = kolanski
3f36c53aa105 augmented user aliasses
haftmann
parents: 60419
diff changeset
    18
lammich@in.tum.de = lammich
3f36c53aa105 augmented user aliasses
haftmann
parents: 60419
diff changeset
    19
Andreas Lochbihler = lochbihler
3f36c53aa105 augmented user aliasses
haftmann
parents: 60419
diff changeset
    20
daniel.matichuk@nicta.com.au = matichuk
3f36c53aa105 augmented user aliasses
haftmann
parents: 60419
diff changeset
    21
Philipp Meyer = meyerp
3f36c53aa105 augmented user aliasses
haftmann
parents: 60419
diff changeset
    22
nipkow@lapbroy100.local = nipkow
3f36c53aa105 augmented user aliasses
haftmann
parents: 60419
diff changeset
    23
noschinl@in.tum.de = noschinl
3f36c53aa105 augmented user aliasses
haftmann
parents: 60419
diff changeset
    24
Lars Noschinski <noschinl@in.tum.de> = noschinl
3f36c53aa105 augmented user aliasses
haftmann
parents: 60419
diff changeset
    25
Stephen W. Nuchia = nuchia
59654
e327a9ae2d61 clarified aliases;
wenzelm
parents: 57853
diff changeset
    26
lcp = paulson
e327a9ae2d61 clarified aliases;
wenzelm
parents: 57853
diff changeset
    27
lp15@cam.ac.uk = paulson
64880
3f36c53aa105 augmented user aliasses
haftmann
parents: 60419
diff changeset
    28
Jean Pichon = pichon
59654
e327a9ae2d61 clarified aliases;
wenzelm
parents: 57853
diff changeset
    29
norbert.schirmer@web.de = schirmer
e327a9ae2d61 clarified aliases;
wenzelm
parents: 57853
diff changeset
    30
schirmer@in.tum.de = schirmer
64880
3f36c53aa105 augmented user aliasses
haftmann
parents: 60419
diff changeset
    31
griff = sternagel
3f36c53aa105 augmented user aliasses
haftmann
parents: 60419
diff changeset
    32
Christian Sternagel = sternagel
3f36c53aa105 augmented user aliasses
haftmann
parents: 60419
diff changeset
    33
nik = sultana
3f36c53aa105 augmented user aliasses
haftmann
parents: 60419
diff changeset
    34
Timothy Bourke = tbourke
3f36c53aa105 augmented user aliasses
haftmann
parents: 60419
diff changeset
    35
rene.thiemann@uibk.ac.at = thiemann
59654
e327a9ae2d61 clarified aliases;
wenzelm
parents: 57853
diff changeset
    36
thomas.sewell@nicta.com.au = tsewell
64880
3f36c53aa105 augmented user aliasses
haftmann
parents: 60419
diff changeset
    37
tsewell@nicta.com.au = tsewell
3f36c53aa105 augmented user aliasses
haftmann
parents: 60419
diff changeset
    38
tsewell@rubicon.NSW.bigpond.net.au = tsewell
3f36c53aa105 augmented user aliasses
haftmann
parents: 60419
diff changeset
    39
urbanc@in.tum.de = urbanc
3f36c53aa105 augmented user aliasses
haftmann
parents: 60419
diff changeset
    40
wimmers@in.tum.de = wimmers