src/HOLCF/ex/Dagstuhl.ML
changeset 896 56b9c2626e81
parent 895 7a1e07fbffea
child 897 55d15c603e3a
--- 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;