--- 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;
--- 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 +
--- 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
===============================================
--- 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 *)