src/HOLCF/README.html
2010-02-17 huffman 2010-02-17 remove $ from all HOLCF files
2007-09-11 webertj 2007-09-11 typo fixed, dead link removed
2005-03-07 webertj 2005-03-07 HTML 4.01 Transitional conformity
2004-11-14 webertj 2004-11-14 DOCTYPE declaration added
2004-10-25 nipkow 2004-10-25 fixed urls
1998-12-18 nipkow 1998-12-18 Link to HOLCF paper added.
1997-05-21 wenzelm 1997-05-21 tuned all READMEs;
1996-12-13 oheimb 1996-12-13 adaptions for symbol font
1995-12-20 regensbu 1995-12-20 changed predicate flat to is_flat in theory Fix.thy
1995-11-17 clasohm 1995-11-17 HTML version of README