Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
corrected authors
authornipkow
Thu, 26 Feb 2004 01:04:39 +0100
changeset 14414 3fd75e96145d
parent 14413 7ce47ab455eb
child 14415 60aa114e2dba
corrected authors
src/HOL/Library/NatPair.thy file | annotate | diff | comparison | revisions 
--- 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 {*
isabelle