src/HOLCF/ex/Dagstuhl.ML
changeset 895 7a1e07fbffea
parent 892 d0dc8d057929
child 896 56b9c2626e81
--- a/src/HOLCF/ex/Dagstuhl.ML	Tue Feb 07 17:26:32 1995 +0100
+++ b/src/HOLCF/ex/Dagstuhl.ML	Tue Feb 07 17:30:34 1995 +0100
@@ -1,5 +1,5 @@
 (*
-    ID: $ $
+    ID:         $Id$
 *)