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
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.
