
diff -r 24cc3dbd3c4a -r 9e09253c80cf Paper/document/root.tex
--- a/Paper/document/root.tex	Thu Apr 01 12:19:26 2010 +0200
+++ b/Paper/document/root.tex	Thu Apr 01 14:49:01 2010 +0200
@@ -59,6 +59,8 @@
 
 \title{\LARGE\bf General Bindings in Nominal Isabelle,\\ or How to
   Formalise Core-Haskell}
+\author{Christian Urban, Cezary Kaliszyk}
+\affiliation{TU Munich, Germany}
 \maketitle
 
 \maketitle




