src/HOL/Library/Countable.thy
changeset 29511 7071b017cb35
parent 28823 dcbef866c9e2
child 29797 08ef36ed2f8a
     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