# HG changeset patch
# User regensbu
# Date 792174949 -3600
# Node ID 56b9c2626e816255d48cb1b49e1427857bbca882
# Parent  7a1e07fbffeabd5dc419cb21de2df87ca7496c61
ID for the file

diff -r 7a1e07fbffea -r 56b9c2626e81 src/HOLCF/ex/Dagstuhl.ML
--- 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;
 
diff -r 7a1e07fbffea -r 56b9c2626e81 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 +
 
diff -r 7a1e07fbffea -r 56b9c2626e81 src/HOLCF/ex/hoare.txt
--- a/src/HOLCF/ex/hoare.txt	Tue Feb 07 17:30:34 1995 +0100
+++ b/src/HOLCF/ex/hoare.txt	Tue Feb 07 17:35:49 1995 +0100
@@ -1,3 +1,5 @@
+(* $Id$ *)
+
 Proves about loops and tail-recursive functions
 ===============================================
 
diff -r 7a1e07fbffea -r 56b9c2626e81 src/HOLCF/ex/loeckx.ML
--- a/src/HOLCF/ex/loeckx.ML	Tue Feb 07 17:30:34 1995 +0100
+++ b/src/HOLCF/ex/loeckx.ML	Tue Feb 07 17:35:49 1995 +0100
@@ -1,3 +1,4 @@
+(* $Id$ *)
 (* Elegant proof for continuity of fixed-point operator *)
 (* Loeckx & Sieber S.88                                 *)