AUTHORS

   1 Initiator:
   2         Freek Wiedijk <freek@cs.ru.nl>
   3
   4 Original Author:
   5         John Tromp <john.tromp@gmail.com>
   6
   7 Current maintainer:
   8         Joachim Wiberg <troglobit@gmail.com>
   9
  10 Contributors:
  11         Mattias Walstrom <lazzer@gmail.com>