src/HOL/Wellfounded.thy
changeset 29580 117b88da143c
parent 29125 d41182a8135c
child 29609 a010aab5bed0
     1.1 --- a/src/HOL/Wellfounded.thy	Wed Jan 21 16:47:04 2009 +0100
     1.2 +++ b/src/HOL/Wellfounded.thy	Wed Jan 21 16:47:31 2009 +0100
     1.3 @@ -1,5 +1,4 @@
     1.4 -(*  ID:         $Id$
     1.5 -    Author:     Tobias Nipkow
     1.6 +(*  Author:     Tobias Nipkow
     1.7      Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     1.8      Author:     Konrad Slind, Alexander Krauss
     1.9      Copyright   1992-2008  University of Cambridge and TU Muenchen