# HG changeset patch
# User haftmann
# Date 1206010872 -3600
# Node ID a170a190c5d33d9b7a6a37e7af5b54be20f430c8
# Parent  7f5a2f6d9119d126c21a5a1d40c218ee21578180
adjusted authorship

diff -r 7f5a2f6d9119 -r a170a190c5d3 src/HOL/Library/Countable.thy
--- a/src/HOL/Library/Countable.thy	Thu Mar 20 12:01:11 2008 +0100
+++ b/src/HOL/Library/Countable.thy	Thu Mar 20 12:01:12 2008 +0100
@@ -1,6 +1,6 @@
 (*  Title:      HOL/Library/Countable.thy
     ID:         $Id$
-    Author:     Tobias Nipkow
+    Author:     Alexander Krauss, TU Muenchen
 *)
 
 header {* Encoding (almost) everything into natural numbers *}