src/HOL/TLA/TLA.thy

--- a/src/HOL/TLA/TLA.thy	Thu Feb 11 13:54:53 2010 +0100
+++ b/src/HOL/TLA/TLA.thy	Thu Feb 11 21:31:50 2010 +0100
@@ -1,8 +1,6 @@
-(*
-    File:        TLA/TLA.thy
-    ID:          $Id$
-    Author:      Stephan Merz
-    Copyright:   1998 University of Munich
+(*  Title:      HOL/TLA/TLA.thy
+    Author:     Stephan Merz
+    Copyright:  1998 University of Munich
 *)
 
 header {* The temporal level of TLA *}
@@ -1168,4 +1166,3 @@
   done
 
 end
-