diff -r 4c8bcb826e83 -r d98baa2cf589 src/HOL/Hoare/README.html --- a/src/HOL/Hoare/README.html Wed Aug 11 18:22:14 2010 +0200 +++ b/src/HOL/Hoare/README.html Wed Aug 11 18:41:06 2010 +0200 @@ -1,7 +1,5 @@ - -