1.1 --- a/src/HOL/Library/Countable.thy Fri Jan 16 14:58:12 2009 +0100
1.2 +++ b/src/HOL/Library/Countable.thy Fri Jan 16 14:58:56 2009 +0100
1.3 @@ -1,5 +1,4 @@
1.4 (* Title: HOL/Library/Countable.thy
1.5 - ID: $Id$
1.6 Author: Alexander Krauss, TU Muenchen
1.7 *)
1.8