# HG changeset patch
# User regensbu
# Date 792175008 -3600
# Node ID 55d15c603e3a57992d734c653f1fed8c28f69167
# Parent  56b9c2626e816255d48cb1b49e1427857bbca882
ID for the file

diff -r 56b9c2626e81 -r 55d15c603e3a src/HOLCF/ex/Dagstuhl.ML
--- 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;