diff -r 5443079512ea -r b5522b51cb1e src/HOL/Algebra/README.html --- a/src/HOL/Algebra/README.html Sun Mar 21 16:51:37 2010 +0100 +++ b/src/HOL/Algebra/README.html Sun Mar 21 17:12:31 2010 +0100 @@ -1,7 +1,5 @@ - -