changeset 14414 | 3fd75e96145d |
parent 14127 | 40a4768c8e0b |
child 14706 | 71590b7733b7 |
--- 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 {*