--- a/src/HOL/Finite_Set.thy Wed Jan 21 16:47:04 2009 +0100
+++ b/src/HOL/Finite_Set.thy Wed Jan 21 16:47:31 2009 +0100
@@ -1,5 +1,4 @@
(* Title: HOL/Finite_Set.thy
- ID: $Id$
Author: Tobias Nipkow, Lawrence C Paulson and Markus Wenzel
with contributions by Jeremy Avigad
*)