src/HOL/Library/Countable.thy
changeset 26350 a170a190c5d3
parent 26243 69592314f977
child 26580 c3e597a476fd
--- 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 *}