src/HOL/Wellfounded.thy

--- a/src/HOL/Wellfounded.thy	Fri Jan 17 10:02:49 2014 +0100
+++ b/src/HOL/Wellfounded.thy	Fri Jan 17 10:02:50 2014 +0100
@@ -3,6 +3,7 @@
     Author:     Lawrence C Paulson
     Author:     Konrad Slind
     Author:     Alexander Krauss
+    Author:     Andrei Popescu, TU Muenchen
 *)
 
 header {*Well-founded Recursion*}