--- 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 ===============================================