src/HOL/Library/README.html

--- a/src/HOL/Library/README.html	Tue Mar 22 17:20:54 2011 +0100
+++ b/src/HOL/Library/README.html	Tue Mar 22 18:27:47 2011 +0100
@@ -12,8 +12,7 @@
 <h1>HOL-Library: supplemental theories for main Isabelle/HOL</h1>
 
 This is a collection of generic theories that may be used together
-with main Isabelle/HOL.  Note that theory loader path already includes
-this directory by default.
+with main Isabelle/HOL.
 
 <p>