14 lines
602 B
Plaintext
14 lines
602 B
Plaintext
For the purposes of the license agreement in the file LICENSE, 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 Orca
|
|
--------------------
|
|
* Yakoub Nemouchi, University of York, UK
|
|
* Peter Lammich, Technische Universität München, Germany
|
|
* Simon Foster, University of York, UK
|
|
* Burkhart Wolff, LRI, Univ. Paris-Sud, CNRS, CentraleSupélec, Université Paris-Saclay, France
|
|
* Frédéric Tuong, LRI, Univ. Paris-Sud, CNRS, CentraleSupélec, Université Paris-Saclay, France
|
|
|