src/HOLCF/ex/Dagstuhl.thy

--- a/src/HOLCF/ex/Dagstuhl.thy	Tue Feb 07 17:30:34 1995 +0100
+++ b/src/HOLCF/ex/Dagstuhl.thy	Tue Feb 07 17:35:49 1995 +0100
@@ -1,6 +1,5 @@
-(*
-    ID:         $ $
-*)
+(* $Id$ *)
+
 
 Dagstuhl  =  Stream2 +