src/HOLCF/README.html
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