Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added Ben Porter's stuff
authorkleing
Wed, 26 Apr 2006 07:02:04 +0200
changeset 19470 3572af78f114
parent 19469 958d2f2dd8d4
child 19471 0fab37327f91
added Ben Porter's stuff
CONTRIBUTORS file | annotate | diff | comparison | revisions 
--- 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
 ------------------------------
isabelle