isabelle: Admin/user-aliases@bf85fef3cce4 (annotated)

29561 d8c2712749b8 lcp = paulson haftmann parents: 29555 diff changeset	1	lcp paulson
29554 7e5e5ebb7bf7 added churn script haftmann parents: diff changeset	2	norbert.schirmer@web.de schirmer
34091 3aea0882879f user aliasses haftmann parents: 32766 diff changeset	3	schirmer@in.tum.de schirmer
29555 8938f89973f3 corrected user aliases haftmann parents: 29554 diff changeset	4	urbanc@in.tum.de urbanc
30491 772e95280456 more user aliases; wenzelm parents: 29561 diff changeset	5	nipkow@lapbroy100.local nipkow
772e95280456 more user aliases; wenzelm parents: 29561 diff changeset	6	chaieb@chaieb-laptop chaieb
772e95280456 more user aliases; wenzelm parents: 29561 diff changeset	7	immler@in.tum.de immler
32766 87491cac8b83 aliases for Thomas Sewell; wenzelm parents: 30491 diff changeset	8	tsewell@rubicon.NSW.bigpond.net.au tsewell
87491cac8b83 aliases for Thomas Sewell; wenzelm parents: 30491 diff changeset	9	tsewell@nicta.com.au tsewell