src/HOLCF/ex/Dagstuhl.ML
changeset 897 55d15c603e3a
parent 896 56b9c2626e81
child 1168 74be52691d62
--- a/src/HOLCF/ex/Dagstuhl.ML	Tue Feb 07 17:35:49 1995 +0100
+++ b/src/HOLCF/ex/Dagstuhl.ML	Tue Feb 07 17:36:48 1995 +0100
@@ -1,4 +1,7 @@
+(*
 (* $Id$ *)
+*)
+
 
 open Dagstuhl;