For the purposes of the license agreement in the file COPYRIGHT, a
'contributor' is anybody who is listed in this file (CONTRIBUTORS) or
who is listed as an author in one of the source files of this Isabelle
distribution.

Contributors to Isabelle/UTP
----------------------------

* Simon Foster, University of York, UK
* Frank Zeyda, University of York, UK
* Yakoub Nemouchi, Virginia Tech, USA
* Abderrahmane Feliachi, University of Paris Sud, France
* Burkhart Wolff, University of Paris Sud, France
* Samuel Canham, University of York, UK