# HG changeset patch # User mueller # Date 910711688 -3600 # Node ID 2886310fb5e94b89e6ac1ce9ca4575b9de262880 # Parent 136a51f95c91c645e393e431c44227ca96dbd58f tiny changes; diff -r 136a51f95c91 -r 2886310fb5e9 src/HOLCF/IOA/README.html --- a/src/HOLCF/IOA/README.html Tue Nov 10 16:27:04 1998 +0100 +++ b/src/HOLCF/IOA/README.html Tue Nov 10 16:28:08 1998 +0100 @@ -8,7 +8,7 @@ The distribution contains simulation relations, temporal logic, and an abstraction theory. Everything is based upon a domain-theoretic model of finite and infinite sequences.

-For details see IOA project. +For details see the IOA project.