src/HOL/Nominal/Nominal.thy

--- a/src/HOL/Nominal/Nominal.thy	Wed Dec 03 21:00:39 2008 -0800
+++ b/src/HOL/Nominal/Nominal.thy	Thu Dec 04 14:43:33 2008 +0100
@@ -1,5 +1,3 @@
-(* $Id$ *)
-
 theory Nominal 
 imports Main Infinite_Set
 uses