src/HOL/Library/NatPair.thy

 (*  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 {*
   \title{Pairs of Natural Numbers}
   \author{Stefan Richter}