author | krauss |
Thu, 03 Jun 2010 16:56:44 +0200 | |
changeset 37303 | 0e4c721d4567 |
parent 37302 | 6180b6ba3e9a |
child 37304 | 645f849eefa7 |
CONTRIBUTORS | file | annotate | diff | comparison | revisions |
1.1 --- a/CONTRIBUTORS Thu Jun 03 16:39:50 2010 +0200 1.2 +++ b/CONTRIBUTORS Thu Jun 03 16:56:44 2010 +0200 1.3 @@ -6,6 +6,10 @@ 1.4 Contributions to Isabelle2009-2 1.5 -------------------------------------- 1.6 1.7 +* 2009/2010: Stefan Berghofer, Alexander Krauss, and Andreas Schropp, TUM, 1.8 + Makarius Wenzel, TUM / LRI 1.9 + Elimination of type classes from proof terms. 1.10 + 1.11 * April 2010: Florian Haftmann, TUM 1.12 Reorganization of abstract algebra type classes. 1.13