src/HOLCF/IOA/README.html
Mon, 07 Mar 2005 19:17:07 +0100 webertj HTML 4.01 Transitional conformity
Sun, 14 Nov 2004 01:40:27 +0100 webertj DOCTYPE declaration added
Tue, 10 Nov 1998 16:28:08 +0100 mueller tiny changes;
Tue, 10 Nov 1998 16:27:04 +0100 mueller changed to a link;
Mon, 13 Jul 1998 17:46:20 +0200 nipkow Corrected dead link.
Wed, 21 May 1997 17:13:00 +0200 wenzelm tuned all READMEs;
Wed, 30 Apr 1997 11:20:15 +0200 mueller New meta theory for IOA based on HOLCF.
less more (0) tip