diff -r 5f7b17941730 -r c26e515f1c29 src/Tools/Metis/make-metis
--- a/src/Tools/Metis/make-metis	Sat Feb 28 14:02:12 2009 +0100
+++ b/src/Tools/Metis/make-metis	Sat Feb 28 14:09:58 2009 +0100
@@ -1,7 +1,5 @@
 #!/usr/bin/env bash
 #
-# $Id$
-#
 # make-metis - turn original Metis files into Isabelle ML source.
 #
 # Structure declarations etc. are made local by wrapping into a
@@ -11,8 +9,6 @@
 THIS=$(cd "$(dirname "$0")"; echo $PWD)
 
 (
-  echo -n '(* $'
-  echo 'Id$ *)'
   cat <<EOF
 (******************************************************************)
 (* GENERATED FILE -- DO NOT EDIT -- GENERATED FILE -- DO NOT EDIT *)