
diff -r ead544f3d6a1 -r cc3958d31b1d src/HOL/ex/ReflectionEx.thy
--- a/src/HOL/ex/ReflectionEx.thy	Wed Jan 28 10:43:31 2009 +0100
+++ b/src/HOL/ex/ReflectionEx.thy	Wed Jan 28 11:04:10 2009 +0100
@@ -1,9 +1,9 @@
-(*
-    ID:         $Id$
+(*  Title:      HOL/ex/ReflectionEx.thy
     Author:     Amine Chaieb, TU Muenchen
 *)
 
 header {* Examples for generic reflection and reification *}
+
 theory ReflectionEx
 imports Reflection
 begin




