src/HOLCF/IOA/README.html
2005-03-07 webertj 2005-03-07 HTML 4.01 Transitional conformity
2004-11-14 webertj 2004-11-14 DOCTYPE declaration added
1998-11-10 mueller 1998-11-10 tiny changes;
1998-11-10 mueller 1998-11-10 changed to a link;
1998-07-13 nipkow 1998-07-13 Corrected dead link.
1997-05-21 wenzelm 1997-05-21 tuned all READMEs;
1997-04-30 mueller 1997-04-30 New meta theory for IOA based on HOLCF.