typos

[helm.git] / helm / papers / matita / matita.tex

diff --git a/helm/papers/matita/matita.tex b/helm/papers/matita/matita.tex
index 78b35679cde520f9c77af6d2ee916db0637dd1e4..d6dae46e74b3d26052a1c08a1cac909a019da4e3 100644 (file)
--- a/helm/papers/matita/matita.tex
+++ b/helm/papers/matita/matita.tex
@@ -32,7 +32,7 @@
 \newcommand{\UWOBO}{UWOBO}
 
 \title{The proof assistant Matita}
-\author{Andrea Asperti, Ferruccio Guidi, Claudio Sacerdoti Coen
+\author{Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi
  and Stefano Zacchiroli}
 \institute{Department of Computer Science, University of Bologna\\
  Mura Anteo Zamboni, 7 --- 40127 Bologna, ITALY\\