src/HOL/Library/Countable.thy
changeset 29511 7071b017cb35
parent 28823 dcbef866c9e2
child 29797 08ef36ed2f8a
--- a/src/HOL/Library/Countable.thy	Fri Jan 16 14:58:12 2009 +0100
+++ b/src/HOL/Library/Countable.thy	Fri Jan 16 14:58:56 2009 +0100
@@ -1,5 +1,4 @@
 (*  Title:      HOL/Library/Countable.thy
-    ID:         $Id$
     Author:     Alexander Krauss, TU Muenchen
 *)