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