| author | Christian Urban <christian dot urban at kcl dot ac dot uk> |
| Wed, 26 Mar 2014 14:01:28 +0000 | |
| changeset 67 | 084fe19c59ed |
| parent 66 | a61171d51796 |
| child 68 | 1f237ce9630a |
| permissions | -rw-r--r-- |
Gerwin Klein Ruben Gamboa Tobias Nipkow Zhong Shao Micheal Norrish John Harrison Matt Kaufman Thierie Coquand Steffen Berghofer Georges Gonthier Cezar Munos Randy Pollack Mike Gordon (Magnus Myreen) Xavier Leroy Sandry Blazy Jeremy Avigard Herman Geuvers Xingyu Feng Alwen Tui Jouanaud Humin Lin Nick Benton Andrew Appel Yves Bertot John Matthews Konrad Slind Gilles Dowek --------- Christine Paulin-Mohring Larry Paulson