corrected authors
authornipkow
Thu Feb 26 01:04:39 2004 +0100 (2004-02-26)
changeset 144143fd75e96145d
parent 14413 7ce47ab455eb
child 14415 60aa114e2dba
corrected authors
src/HOL/Library/NatPair.thy
     1.1 --- a/src/HOL/Library/NatPair.thy	Wed Feb 25 16:22:36 2004 +0100
     1.2 +++ b/src/HOL/Library/NatPair.thy	Thu Feb 26 01:04:39 2004 +0100
     1.3 @@ -1,7 +1,7 @@
     1.4  (*  Title:      HOL/Library/NatPair.thy
     1.5      ID:         $Id$
     1.6 -    Author:     Christophe Tabacznyj and Lawrence C Paulson
     1.7 -    Copyright   1996  University of Cambridge
     1.8 +    Author:     Stefan Richter
     1.9 +    Copyright   2003 Technische Universitaet Muenchen
    1.10  *)
    1.11  
    1.12  header {*