# HG changeset patch
# User nipkow
# Date 1077753879 -3600
# Node ID 3fd75e96145d9027f30f7ec3ef5265d8a9f42ecb
# Parent  7ce47ab455ebe645bc16fd2ba3ae6e9808150f50
corrected authors

diff -r 7ce47ab455eb -r 3fd75e96145d src/HOL/Library/NatPair.thy
--- a/src/HOL/Library/NatPair.thy	Wed Feb 25 16:22:36 2004 +0100
+++ b/src/HOL/Library/NatPair.thy	Thu Feb 26 01:04:39 2004 +0100
@@ -1,7 +1,7 @@
 (*  Title:      HOL/Library/NatPair.thy
     ID:         $Id$
-    Author:     Christophe Tabacznyj and Lawrence C Paulson
-    Copyright   1996  University of Cambridge
+    Author:     Stefan Richter
+    Copyright   2003 Technische Universitaet Muenchen
 *)
 
 header {*