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