diff -r 7a1e07fbffea -r 56b9c2626e81 src/HOLCF/ex/Dagstuhl.ML
--- a/src/HOLCF/ex/Dagstuhl.ML	Tue Feb 07 17:30:34 1995 +0100
+++ b/src/HOLCF/ex/Dagstuhl.ML	Tue Feb 07 17:35:49 1995 +0100
@@ -1,7 +1,4 @@
-(*
-    ID:         $Id$
-*)
-
+(* $Id$ *)
 
 open Dagstuhl;