diff -r bb1d1c6a10bb -r e15040ae75d7 src/HOLCF/README.html --- a/src/HOLCF/README.html Wed Feb 17 09:22:40 2010 -0800 +++ b/src/HOLCF/README.html Wed Feb 17 10:00:22 2010 -0800 @@ -1,7 +1,5 @@ - -