# 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 *)