matita/AUTHORS

   1 Andrea Asperti <asperti@cs.unibo.it>
   2 Ferruccio Guidi <fguidi@cs.unibo.it>
   3 Luca Padovani <lpadovan@cs.unibo.it>
   4 Enrico Tassi <tassi@cs.unibo.it>
   5 Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>
   6 Stefano Zacchiroli <zacchiro@cs.unibo.it>