# HG changeset patch
# User kleing
# Date 1146027724 -7200
# Node ID 3572af78f114bff675dca6ebe9eecbe3b3d7bef8
# Parent  958d2f2dd8d4c221c6bac562d63a6ad0871ce534
added Ben Porter's stuff

diff -r 958d2f2dd8d4 -r 3572af78f114 CONTRIBUTORS
--- a/CONTRIBUTORS	Wed Apr 26 07:01:33 2006 +0200
+++ b/CONTRIBUTORS	Wed Apr 26 07:02:04 2006 +0200
@@ -4,7 +4,11 @@
 
 * October 2005: Martin Wildmoser, TUM
   Sketch for Isar 'guess' element.
-  
+
+* February 2006: Benjamin Porter, NICTA
+  HOL and HOL-Complex: generalied mean value theorem, continuum is
+  not denumerable, harmonic and arithmetic series, and denumerability
+  of rationals.
 
 Contributions to Isabelle 2005
 ------------------------------