src/ZF/AC/Cardinal_aux.thy

--- a/src/ZF/AC/Cardinal_aux.thy	Sat Oct 17 01:05:59 2009 +0200
+++ b/src/ZF/AC/Cardinal_aux.thy	Sat Oct 17 14:43:18 2009 +0200
@@ -1,8 +1,7 @@
 (*  Title:      ZF/AC/Cardinal_aux.thy
-    ID:         $Id$
     Author:     Krzysztof Grabczewski
 
-Auxiliary lemmas concerning cardinalities
+Auxiliary lemmas concerning cardinalities.
 *)
 
 theory Cardinal_aux imports AC_Equiv begin